OpenAI Releases 722 Unpublished AI-Generated Math Manuscripts on GitHub
AI让数学再也回不去那个旧世界了。
AISummary
OpenAI published 722 math manuscripts covering 372 result groups in a new GitHub repository, openai/math, all produced by an unreleased internal model. The author describes the results as including a near-Riemann hypothesis claim pushed to 0.875, and notes that 25 Fields Medal winners criticized the company's approach to AI math research.
AIWhy it matters
The piece traces how AI math results moved from benchmarks to open problems, offering context on verification and the mathematicians' pushback.
Source: Khazix (数字生命卡兹克) · x.com