新闻资讯8

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

量子位2025-12-06

AI 摘要

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

关注公众号

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

公众号专辑

陶哲轩发第三篇长文反击OpenAI

本文报道OpenAI、Anthropic等大举推进AI数学研究，菲尔兹奖得主陶哲轩连发三文反击其营销式研究模式，指出AI滥用对数学生态的破坏，提出Math 2.0框架并给出落地案例。

本文报道王虹已解决三维集合版挂谷猜想，OpenAI在GitHub公开两篇数学手稿，分别挑战更强的三维极大函数版和一般四维集合版挂谷猜想，引发AI助力数学研究的讨论。

OpenAI内部AI模型已解决超100道横跨多领域的长期开放数学问题，包含纳维-斯托克斯千禧年大奖难题。因AI出成果速度远超学界评议能力，OpenAI联合学界成立独立顾问团审查评估成果，回应数学界质疑。

OpenAI推出GPT-6 Astra，接连在埃尔德什单位距离猜想、纳维-斯托克斯方程等多个顶级数学难题上取得突破性进展，引发顶尖数学家对学术伦理与传统研究模式的争议，本文为OpenAI内部研究员的深度对谈编译，拆解AI数学推理的核心逻辑。