Source excerpt
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
A short excerpt. Read the linked source for the full article and context.