Skip to content
SiliconANGLE · AI· Maria Deutscher·· 3 hr agoSelectedAI score77

OpenAI 发布 722 篇 AI 生成数学论文

OpenAI publishes 722 AI-generated math discoveries in major scientific milestone

AI brief

OpenAI 在 GitHub 发布 722 篇由未发布 AI 模型生成的数学论文,覆盖约 20 个数学子领域。部分论文证明长期猜想,包括 quasi-Riemann hypothesis、De Giorgi 猜想的一个版本,并澄清 Navier–Stokes 方程相关问题;另有 80 余篇理论计算机科学论文,涉及矩阵乘法极限和整数乘法新算法。

Why it matters

OpenAI 用未发布模型产出 722 篇数学论文并附 Lean 验证文件,为 AI 辅助数学研究提供了可核查的样本。

Source: SiliconANGLE · AI · siliconangle.com