Research

4 stories about Research, newest first. Each one links to its primary source.

  1. OpenAI publishes new math results from an internal model, with Lean proofs for many

    On 6 October 2026 OpenAI released a set of mathematical results produced by an internal frontier model, with reasoning summaries and many proofs formalized in Lean. OpenAI says the average result took about three hours of ChatGPT Pro thinking. The results come from OpenAI and have not been independently reviewed.

    Research, Mathematics 3 sources