Official company update
Sharing AI progress in mathematics
OpenAI·openai.com·
What the source says
OpenAI publishes new results on open problems in mathematics from an internal frontier model and shares Lean proof formalizations and research details on GitHub.
Checking access…
The original publication, including any images and updates, remains with the publisher.
Checking free source access…
More about OpenAI
Independent · TechCrunchOpenAI’s revenue is reportedly $20 billion less than previously projectedIndependent · TechCrunchOpenAI’s math solutions aren’t meeting the field’s standards yetIndependent · The VergeUSA Today becomes the latest publisher to sue OpenAIOfficial · openai.comHow Oracle turns days of work into minutes with ChatGPT and Codex