OpenAI 新证明堆中最令人兴奋的主张
内容摘要
OpenAI 发布了 700 多篇 AI 生成手稿，声称解决了数学、理论计算机科学和物理学领域的 372 个未决问题。这些证明大多未经核实，部分因外部科学家发现错误而被撤稿，且并非全部通过 Lean 证明助手认证。尽管如此，专家称这些结果令人瞠目结舌，一些发现若在一年前足以获得顶级研究奖项。主要主张包括黎曼猜想和准黎曼猜想的重大进展，解决了 Siegel 零点问题，将 Hilbert 第十问题推广到有理数，证明了四维 Kakeya 猜想，以及解决了类似于 Yang-Mills 质量间隙问题的非线性 sigma 模型。在计算机科学方面，OpenAI 声称矩阵乘法加速（指数 2.25）、去随机化结果（L = RL = BPL）、唯一游戏猜想证明、量子计算的酉合成，以及对快速 Fourier 变换的微小改进。尽管许多结果具有开创性，但部分论文被认为难以理解或草率，全面验证仍需时间。
(来源：Scientific American)