Coverage 1 publisher
Articles stay on their publishers’ sites; each link opens the original.
Sharing AI progress in mathematics
OpenAI shares results from an internal frontier model on open problems in mathematics, along with Lean proof formalizations and research details on GitHub. The release makes formalized proofs part of the accompanying research materials.