新闻资讯8

陶哲轩：AI改写数学证明范式

新智元2025-11-05

AI 摘要

陶哲轩让ChatGPT将数学论文转成Lean代码，完成埃尔德什第613号问题反例证明，AI节省大量时间。鲍里斯等用AI验证第707号问题反例。数学证明进入‘AI辅助时代’，引发范式思考。

关注公众号

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

公众号专辑

九章云极问鼎陶哲轩数学挑战赛

本文报道九章云极言表实验室在陶哲轩发起的数学蒸馏挑战赛第二阶段拿下全部赛道满分，解决28个未解决开放数学问题，介绍了其可验证AI+强化学习的AI4S布局。

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

本文报道了数学爱好者nor借助GPT-6 Astra，完成了搁置57年的“圆内摆圆”问题中N≤20剩余5种情况的严格最优性证明，展现了AI在数学研究领域的新应用。

本文整理了ChatGPT共同创造者Liam Fedus的播客对谈，回顾ChatGPT诞生的内部细节，分享AI领域突破逻辑，提出AI需搭建实体实验室获取真实实验数据，推进材料科学等领域突破，介绍了其创立的Periodic Labs布局。