7.5
深览指数
科技虎嗅·未尽研究··AI 生成
OpenAI，在制造“数学基础危机”吗
文章报道了OpenAI内部模型Astra在数学难题求解上的突破，以2000美元token解决了需10位数学家耗时数年的问题。作者由此引出AI对数学共同体核心价值的冲击：当AI生成的证明速度、数量远超人类验证能力时，数学证明的意义何在？谁来为正确性负责？文章引用了陶哲轩将之比作“数学基础危机”的言论，并对比了《莱顿宣言》与OpenAI的署名立场，提出了一个根本性问题：无法被人类理解验证的AI生成内容，对科学还有何意义。适合关注AI前沿、科学哲学、数学本质的读者阅读。原文 ↗
核心观点
- ▍OpenAI的Astra模型在数学难题上的突破，正在引发一场新的“数学基础危机”，核心冲突在于AI生成的证明无法被人类理解验证，动摇了数学共同体以证明、理解和责任为核心的传统价值观。
- 01Astra用约2000美元token解决了高维几何、编码理论、格密码学等领域的10个开放难题，这些难题至少需要10位数学家耗费大量时间。
- 02数学家陶哲轩将AI对数学的冲击比作一百多年前的数学基础危机，并指出已出现证明速度超出人类验证能力的情况。
- 033423名数学家签署《莱顿宣言》，强调研究成果归人类作者，AI不具备作者资格，人类对正确性负全责。
- 04OpenAI采取混合署名路线，称对论文形式化证明的正确性负责，但数学论证本身由系统生成，且结果有待验证。
- 05最新菲尔兹奖得主Jacob Tsimerman已加入OpenAI，另一位得主Timothy Gowers断言AI最快2-3年在几乎所有数学环节上超过人类。
- 06陶哲轩认为，数学证明将变得过剩，未来数学家的主要价值是选择、验证、解释和传播有价值的证明。
反方 / 局限
- — 文章并未深入讨论AI生成证明本身的正确性风险（如幻觉、逻辑漏洞），以及AI在完全形式化验证（如Lean）下是否仍存在不可靠性。
- — 文章未提及，如果AI证明最终能被人类“简化理解”并纳入知识体系，那么“基础危机”可能只是暂时的认知失调。
7 分钟 · 4 卡片 · 11 资料
读原文 →