新闻资讯8

顶尖数学家小野肯投身学生AI创业公司

量子位2025-12-06

AI 摘要

世界级数学家小野肯辞职，加入学生洪乐潼创办的AI公司Axiom。该公司目标是开发解决实际数学问题的AI，此前已解决一些数学难题，虽初创但备受关注。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

Claude Mythos推翻80年数学猜想，比OpenAI更优

OpenAI用125页思维链解开Erdős 80年猜想，Anthropic研究员Levent Alpoge让Mythos断网测试，找到更短更简洁路径。Mythos用数论方法打破僵局，过去一周OpenAI、DeepMind、Anthropic分别攻克相关难题。

00后中国女孩洪乐潼创业一鸣惊人，虽无产品和用户，但目标估值3 - 5亿美元。她是斯坦福华人数学博士，公司Axiom想为量化和对冲基金公司提供解决数学问题的模型能力，获投资人关注。

李飞飞押注的空间智能是世界模型主流路线之一，旨在让AI生成可操作三维世界。但当前AI生成世界存在“中看不中用”问题，构建“站得住”的世界面临速度与状态瓶颈，生境科技等实践提供了解决思路。

英特尔三年前提出玻璃基板封装将成下一代先进封装关键路线，7月25日宣布与蓝思科技合作推进。玻璃基板优势多，曾受易碎性困扰，现此问题已基本解决，TGV工艺良率成量产关键，预计2027年订单释放。