OpenAI 一次放出 377 项 AI 数学成果：准黎曼假设、矩阵乘法指数降至 2.25
## OpenAI 一次放出 377 项 AI 数学成果
OpenAI 公开了一个由内部前沿模型生成的数学成果合集：722 份手稿、372 个「结果家族」，覆盖数论、代数、拓扑、逻辑与理论计算机科学。据称模型面对约 4000 个开放数学问题，幸存下来的成果被整理发布。
**要点**
- **准黎曼假设**：证明黎曼 zeta 函数及相关 L 函数在 Re(s)>7/8 区域无零点。黎曼猜想断言的是 Re(s)>1/2，此前已知的无零点区域越往虚轴高处越窄，这次得到了一条等宽的」无零点带「。
- **矩阵乘法指数降至 2.25**：此前世界纪录约 2.37。康奈尔大学数学家 Strogatz 称这一跳」像博比·比蒙的跳远「。
- **Lean 形式化验证**：许多证明已用 Lean 定理证明器形式化，机器可逐行检查；但并非全部完成形式化，未形式化的结果可能存在错误。
- **学界反应两极**：数学家震惊于」任何一项都够菲尔兹奖「，也有人质疑——约一半的 Lean 验证率意味着另一半仍需」信我「。
> 原文链接：[点击查看原文](https://helloentrepreneurs.com/technology/openai-publishes-hundreds-of-ai-generated-math-results-including-claimed-advance-on-riemann-zeta-function-100727/)，正文为摘要整理，仅供参考。
