Industry only #Open Source/Repo

#Open Source/Repo

Oct 8Thu

Oct 8Thursday

02:36
The Decoder· 02:36Same StoryAI Score8080
OpenAI publishes 372 AI-generated math proofs on GitHub, bypassing journals
OpenAI released 372 mathematical results generated by an internal frontier model.
Industry #Industry News #Paper/Research #Open Source/Repo
Same story, featured as“OpenAI shares AI results on open mathematics problems with Lean proofs on GitHub”

Oct 7Wed

Oct 7Wednesday

04:55
Latent Space· 04:55FeaturedAI Score8888
OpenAI publishes 722 math manuscripts from an unreleased internal model, solving many of the top 500 open problems
OpenAI published 722 mathematical manuscripts from an unreleased internal frontier model in a public GitHub repo.
Industry #Industry News #Paper/Research #Open Source/Repo
Why it matters: The release details how many open problems were addressed and how much compute each solution took, which frames how AI math results are produced.