扫描下载APP
其它方式登录
OpenAI内部AI模型批量生成722篇数学手稿，覆盖数论、代数几何等17个方向，并宣称解决纳维-斯托克斯方程等千禧年难题，引发25位菲尔兹奖得主联合警告。事件核心矛盾在于AI高速生成与人类验证能力严重脱节，暴露同行评议缺位、学术规范滞后及人才向产业单向流动等深层制度危机。
2022年菲尔兹奖得主Hugo Duminil-Copin因OpenAI发布722篇AI生成数学手稿而情绪崩溃，其中16个问题直指其长期研究领域；这批成果引发数学界对研究价值、青年学者生存、学术交流生态及‘外星数学’式新范式的深刻忧虑。
王虹因证明三维挂谷集猜想获2026年菲尔兹奖；OpenAI随后发布722篇数学手稿，宣称在3小时内解决更难的三维挂谷极大函数猜想和四维挂谷集豪斯多夫维数等于4的猜想，但所有成果均未经同行评审或Lean形式化验证，引发数学界对可信度、可验证性及AI角色的广泛质疑。
OpenAI一款8月28日启动训练的内部AI模型，仅用24天攻克100多道世界级数学难题，包括纳维–斯托克斯千禧年难题，并发布166页证明及Lean形式化验证；此举引发27位菲尔兹奖得主联名抗议，批评其功利化发布方式；OpenAI随即成立由9位顶尖数学家组成的独立顾问组，以规范AI数学成果的评审、发布与学术伦理。
25名菲尔兹奖得主联合发表声明，批评AI公司以解决数学难题为噱头牟利，损害数学科学本质；杰曼诺夫指出AI掠夺人类成果、破坏数学家培养体系，强调数学的核心是概念性理解与创造力，完全依赖AI将导致年轻数学家失业，危及学科存续。
OpenAI利用AI智能体群在88小时内完成纳维-斯托克斯方程的形式化证明，引发25位菲尔兹奖得主联名抗议。数学家担忧AI跳过探索过程直接产出答案，导致‘解题’与‘理解’分离，损害数学知识的可传承性、学生培养及新思想诞生，暴露AI目标与科学本质的深层错位。
文章揭示AI大厂在数学领域竞相‘打榜’的现象：通过大规模算力和Agent协作批量冲击著名数学难题，追求快速、高调的成果宣布，而非推动真正可理解、可传承的数学思想发展；数学家担忧这种虚荣式竞赛正侵蚀数学作为知识探索本质的价值。
AI在数学领域取得突破性进展，短期内解出千禧年难题纳维-斯托克斯方程并刷爆FrontierMath Tier 4基准，引发数学界对知识生产与验证速度严重脱节的担忧；25位菲尔兹奖得主联名警示AI公司急功近利将解题等同于数学进步，导致学术规范、署名归属和人类理解能力面临系统性挑战。
25位菲尔兹奖得主联合签署公开信，批评AI公司（尤其OpenAI）将‘解决著名数学难题’作为能力标尺的做法，认为此举损害数学科学本质，忽视理解、洞见与传承等核心价值，导致学术错位、署名争议及人类智力劳动异化。
40位顶尖数学家在OpenAI秘密峰会探讨AI对数学研究的冲击，聚焦AI批量解决重大数学猜想（如单位距离猜想、黎曼假设相关问题）、绕过传统学术流程的现象，以及数学家角色危机；会议未达成共识，但凸显人类数学理解力、概念创造与AI工具协同的紧迫命题。
菲尔兹奖得主Timothy Gowers指出，当前AI在数学领域的重要突破多集中于构造反例或特殊对象，如推翻Erdős单位距离猜想、雅可比猜想相关问题、构造非sofic群等，其优势在于跨领域知识调用与低成本海量尝试，而非传统证明；AI擅长回答‘是否存在某个对象’这类存在性问题。
文章探讨AI在数学领域的迅猛发展及其对数学研究范式、认知方式和学科本质的深刻冲击。多位菲尔兹奖得主关注AI替代数学家工作的可能性，AI已在多个重大数学难题上取得突破。文章分析AI跨学科调用、并行探索、耐受枯燥等五大优势，指出其正推动数学从纯演绎向经验性、实验性范式转变，并引发‘证明≠理解’的认知重构。最终强调人类在目标选择、意义判断、理解维护与责任承担上的不可替代性。
文章探讨大语言模型在数学证明等演绎任务上已取得进展，但无法完成科学发现所需的创造性‘跳跃’——即溯因推理：面对未知现象主动提出新假说、新公理或重构理论框架。以爱因斯坦等效原理的思想实验为例，指出AI缺乏具身模拟、反事实干预和感官锚定能力，其本质局限在于无法实现从经验到新公理的E→J→A飞跃。
多位菲尔兹奖得主警示AI正以前所未有的速度超越人类数学能力，可能在短期内彻底改变数学研究范式；他们担忧数学将因AI生成内容过载而丧失人文内核与传承活力，沦为‘思维墓地’，而非因停滞消亡。
王虹、邓煜两位北大本科毕业的中国数学家同获菲尔兹奖，引发清华丘成桐公开邀其回国任教；文章揭示清华与北大在数学领域长达数十年的竞争，涵盖招生、师资引进及AI数学前沿布局，最终指出AI正重塑数学研究范式，清北竞争本质已升维至推动中国数学整体崛起。
