#proofs

  1. AI is Rewriting Mathematics
  2. OpenAI model disproves Erdős’s unit-distance conjecture (discrete geometry)
  3. 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…

  4. OpenAI: a proof for the Navier–Stokes Millennium Prize Problem