CVP

任少卿
2026-08-25 02:37:08

任少卿成立具身智能公司,蔚来确认战略投资并合作

量子位确认,ResNet 作者、蔚来高级副总裁兼智驾负责人任少卿已正式成立公司,投身物理 AI 基础模型和具身智能创业。晚点称,李斌已在蔚来内部会议通告此事,蔚来将对新公司进行战略投资并开展业务合作。消息显示,该公司已完成注册,估值达到独角兽级别,但公司名称和融资细节尚未披露。

290
任少卿成立具身智能公司,蔚来确认战略投资并合作
OpenAI
2026-08-02 08:30:10

OpenAI首曝下一代模型Astra:解出10道停滞十年以上数学难题

OpenAI在官方博客首次披露下一代主力模型Astra的内部版本,称其一次处理了10道停滞超过10年的公开数学与理论计算机科学难题。OpenAI表示,相关论证已整理为249页手稿,并进一步形式化为可由Lean逐行验算的证明,整套证明库已在GitHub开源。按Sol API费率计算,完成这10题的token总成本约为2,000美元。这一发布获得部分数学家肯定,但也因绕过传统期刊评审、直接通过博客公布,引发学界对署名权与学术信任机制的讨论。

1310
OpenAI首曝下一代模型Astra:解出10道停滞十年以上数学难题