#lean

  1. OpenAI releases 719 AI-produced maths papers (incl. the quasi-Riemann hypothesis)

    On 7 October 2026 OpenAI released 719 manuscripts in 372 "families" of new mathematical results, all produced by its unreleased internal…

  2. OpenAI: a proof for the Navier–Stokes Millennium Prize Problem
  3. ProofAtlas

    An AI-first maths research platform whose best-known feature is a ranked list of the top 500 open problems in mathematics.