新闻 · The Verge AI
AI 攻占数学领域引发的种种风波
过去一年，OpenAI、Anthropic 等实验室宣布在众多长期悬而未决的数学问题上取得突破，某些情况下甚至远超研究人员对当前系统能力的预期——包括解决了一个著名的千禧年大奖难题。但以典型的硅谷风格，AI 实验室正在快速行动、打破常规……
en
英文原标题：All the drama around AI’s takeover of mathematics
本文为英文原文的机器翻译摘要，原文见：The Verge AI ↗
- 过去一年，OpenAI、Anthropic 等实验室宣称在多个长期数学难题上取得突破，甚至解决了一个千禧年大奖难题，进展超出研究者预期。
- 但 AI 实验室以硅谷式“快速行动、打破常规”的方式推进，引发数学界反弹，本应庆祝的成果反而招致批评。
- OpenAI 成立独立数学家顾问小组，试图修复与数学界的关系，但小组成员向 The Verge 表示过程混乱，且该小组首要任务是协调发布未公开模型产生的大量新结果，令研究者担忧。
- OpenAI 宣称用内部 AI 模型加 1 万个并发智能体解决了 Navier-Stokes 问题，该问题悬而未决约 90 年，是七个千禧年大奖难题之一，每个悬赏 100 万美元。
- 数学家 Andreas Thom 指控 OpenAI 训练数据来源不透明，其与 ChatGPT 的交互可能帮助了 OpenAI 在非 sofic 群领域的成果，OpenAI 承认该结果大量基于 Thom 和 Gábor Kun 的先前工作。
关键数据
- Navier-Stokes 问题已悬而未决约 90 年，是七个千禧年大奖难题之一，每个悬赏 100 万美元。
- OpenAI 称其内部 AI 模型于 8 月 28 日开始训练，并使用 1 万个并发智能体。
- OpenAI 宣布了 10 项数学结果，其中一项涉及非 sofic 群。
引语
- “soul searching”
为什么值得看：AI 实验室在数学领域的快速突破正引发学术规范、数据透明度和社区关系的争议，可能重塑数学研究生态。