The Verge · AI· Robert Hart·· 4 days agoSame StoryAI Score80
OpenAI releases 722 manuscripts of math results from an unreleased frontier model
OpenAI drops another batch of mathematical breakthroughs
AI summary
OpenAI published 722 manuscripts covering 372 result families.
Same story, featured as "OpenAI shares AI results on open mathematics problems with Lean proofs on GitHub"
Source: The Verge · AI · theverge.com