OpenAIfrontier model5d agoenergy 57
Sharing AI progress in mathematics
image: OpenAI
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
This source publishes only a summary in its feed, so the full article lives at the outlet. The link above and below goes to the original.