Sharing AI progress in mathematics
- OpenAI: 198 events in the last 90 days
- Previous: earlier the same day · Advancing computer use with Ironclad
What happened
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Summary assembled by rule from the sources below
Why it's spreading
Timeline
- First appeared on OpenAIOpenAI
- Discussion started on Hacker NewsHacker News
Sources
Official
Community
- Sharing AI Progress in MathematicsHacker News