丘成桐清华组建千人的AI数学联盟，陶哲轩呼吁抵制OpenAI的722篇手稿冲击
APPSO · wechat · 2026-10-13
AI 正在重塑数学研究的时间尺度：OpenAI 一次性公开 722 篇数学手稿（部分因证明错误被撤回）；DeepMind 的 AlphaProof Nexus 经同行评审登《Science》，解决了 353 个形式化埃尔德什问题中的 9 个（含 2 个悬置 56 年的问题），并证明 OEIS 492 个待解猜想中的 44 个。人类数学协会为此发声明呼吁抵制 OpenAI，陶哲轩转载了该声明。
国内应对：丘成桐数学与人工智能实验室联盟在清华成立，计划汇聚约千名科研人员研发面向数学的专用模型，建立共享形式化数学库与算力平台。丘成桐称「AI 在数学领域的发展就像一场海啸」，但判断国内模型在推动前沿数学研究上与美国前沿模型仍有明显差距；清华团队已用 AI 证伪一项阿诺德猜想退化情形，卡拉比猜想形式化验证在 Lean4 中积累约 27.3 万行代码。
陶哲轩的 Math 2.0：他在加州理工的演讲把传统数学称为 Math 1.0（证明稀缺），AI 让证明走向丰裕，但担忧只剩清空开放问题清单会扼杀新思想的培养过程；他希望用 AI 解释证明、组织定理网络、重审旧定理。文中还以「恐龙骨骼整块挖掘」的比喻讨论了自动化解题对数学文化的侵蚀。
所属事件:OpenAI 一次发 700 余篇 AI 数学论文引发抵制，数学界震动(4 条相关)→
「漫话AGI」频道最新
- 「软件已死」站不住脚:实时代码生成的 token 成本与等待是硬伤 — bendee983 · 2026-10-14
- MIT 学者:大学应为「AI 在多数智力工作超越人类」的未来做准备 — nordicinst · 2026-10-14
- Benjamin Bratton：机器智能更多是「被发现」而非「被发明」 — bratton · 2026-10-14
- Google Labs 负责人:每家公司都该养一批「站在前沿」的人 — DynamicWebPaige · 2026-10-14
- 开发者实测:最强模型都解不出的难题,最后靠人类提出新解法 — karmay007 · 2026-10-14
- 前 OpenAI 负责人 warning:一年内或现 AI 攻击电网,附断网备灾清单 — jungofthewon · 2026-10-14