加州理工团队解决了形式化研究神器Lean运行LLM推理时的核心技术挑战，可以让LLM在Lean中提出证明策略，允许人类以无缝的方式干预和修改。

软银此次的投资包括向英伟达购买GPU，所购入的芯片部分用于自身AI研发，部分将租借给其他有需要的企业。

分析师说，六大科技股谷歌母公司Alphabet、苹果、亚马逊、Meta、微软和英伟达正在失去动力，过去的盈利势头正面临降温，将六家公司的股票从“超配”下调至“中性”。高

受研发支出增加、金融收益减少拖累，公司一季度净利润锐减2.42亿元。2023年全年净利润同比增17%，拟派发现金红利2.29亿元。

有分析师指出，投资者不应担心英伟达的需求前景。英伟达对超大规模云供应商和二级云供应商的订单，相关需求到10月都有可见度。即将推出的Blackwell系列有望在今年年

Jim Fan认为，大型语言模型只是人工智能领域的一小部分，人工智能是由多种不同技术组成的\"大拼图\"。机器人等能够在现实环境中运作的人工智能系统，未来将是创造

扎克伯格刚刚宣布，Meta将开放支持Quest的操作系统Meta Horizon OS，允许其他公司基于其生态系统设计更多头戴显示器。

vivo、荣耀位列市占率前两名，华为销量增长70%。

卖红薯也要还债。

茶百道艰难突围。