来自 OpenAI 的新数学
OpenAI 公开了内部前沿模型在约 4000 个开放数学问题上的结果,共 722 篇手稿(3 篇因缺少 Lean 形式化证明已撤回),归入 372 个问题族,覆盖了 500 个开放问题中的 90 个。 模型平均每个成功解答只用了约 3 小时算力,提示词要求模型直接给出完整解法。 最引人注目的两项是黎曼猜想方向的界大幅收紧和矩阵乘法效率提升到 2.25。前者未解决猜想本身,只是显著缩窄了可证范围; 后者目前尚未找到实际场景中比现有方法更快的用例,暂时不是可工程化的结果。 多位数学家将 2026 年 10 月 6 日称为"数学史上显然最重要的时刻",但后续章节标题("数学家们状态不佳""局势变得难看")表明学界反应分裂,已有顾问组和另一数学家群体分别回应,3 篇手稿被撤回,围绕验证难度、Lean 形式化证明和数学职业冲击的争论仍在进行。
