7.8
深览指数
科技腾讯新闻·DeepTech深科技··AI 生成
菲尔兹奖得主陶哲轩公开声援抵制OpenAI，呼吁数学家停止合作
菲尔兹奖得主陶哲轩转载了“人类数学协会”的声明，抵制 OpenAI 在一次大规模发布数百篇由 AI 生成的数学手稿的行为。文章揭示了数学界对商业 AI 巨头掌控研究议程、迫使人类数学家沦为“校对员”的深层担忧。事件核心矛盾在于：AI 生成证明的速度远超人类理解和验证的能力，这可能颠覆学术生态，让数学研究被商业公司的工程目标所绑架。文章适合关注 AI 对科技创新范式冲击的研究者、学者与科技政策观察者阅读。原文 ↗
核心观点
- ▍数学界与 OpenAI 的矛盾核心不是 AI 能否证明数学定理，而是商业 AI 游戏化的、批量的发表方式，可能会剥夺人类数学家对研究方向和评价标准的主导权，使其沦为验证机器生成成果的校对员。
- 01OpenAI 于 10 月 6 日一次性公开了 722 篇由内部 AI 模型生成的数学手稿，涵盖数论、几何、代数、理论计算机科学等领域，并声称证明了“准黎曼猜想”、四维挂谷猜想和“唯一博弈猜想”等长期悬而未决的难题。
- 02这批成果经过筛选和整理，整个评估过程模型尝试解答了约 4000 道问题，最终整理出 372 个成果组。平均每项成果消耗的算力相当于 ChatGPT Pro 约三个小时的“思考计算量”。
- 03截至 10 月 7 日，代码仓库中 719 篇手稿中约 42% 的主要结论完成了 Lean 形式化验证，但 OpenAI 已因论证缺陷撤回了 3 篇手稿并对 14 篇进行了修订，且形式化验证本身也需要人工核实命题是否对应用户的数学内涵。
- 04得克萨斯大学的理论计算机科学家斯科特·阿伦森将此事称为“Mathocalypse”，他的妻子在研读唯一博弈猜想的论文后，发现其晦涩难懂、推理步骤语焉不详，甚至需要借助 AI 工具辅助阅读。
- 05OpenAI 早前公布的其他数学成果也引发了争议，包括被指存在论证缺陷、学术优先权争议（纳维-斯托克斯方程问题）。这导致数学界成立了“数学与人工智能咨询小组”(AGMAI) 试图建立研究规范。
反方 / 局限
- — 数学界内部存在不同声音，AGMAI 倾向通过沟通建立规范，而非抵制。菲尔兹奖得主马丁·海雷尔认为如果数学家拒绝与 AI 公司接触，就很难影响其行为；另一些学者如拉古·梅卡则看到了 AI 打破固有认知障碍、探索搁置方向的积极面。
- — 文章揭示了资源分配不均的矛盾：尽管很多学者批评 OpenAI，但他们仍在使用其编程智能体 Codex 辅助研究；陶哲轩本人也长期支持利用大模型推进研究，他转载 AHM 声明的同时也刊登了不同的积极观点。
11 分钟 · 4 卡片 · 8 资料
读原文 →