Sharing AI progress in mathematics

OpenAI has released new results on open mathematical problems generated by an internal frontier model. The organization also shared the Lean proof formalizations and research details on GitHub.

Summary written by Kernelia from the original article by OpenAI News. The story and its rights belong to its author.