The Decoder· Matthias Bastian·· 4 days agoSame StoryAI Score80
OpenAI publishes 372 AI-generated math proofs on GitHub, bypassing journals
OpenAI dumps 372 AI-generated math proofs on GitHub, telling the academic world to keep up
AI summary
OpenAI released 372 mathematical results generated by an internal frontier model.
Same story, featured as "OpenAI shares AI results on open mathematics problems with Lean proofs on GitHub"
Source: The Decoder · the-decoder.com