OpenAI claims Navier-Stokes proof via agents

How it developed

1. September 28, 2026WIRED AIWhere it started

   OpenAI claims Navier-Stokes proof via agents

2. October 7, 2026Wes Roth

   OpenAI releases 722 AI-generated math manuscripts

   OpenAI released 722 AI-generated math manuscripts and source code, exposing gaps in automated theorem proving verification.

3. October 7, 2026The Rundown AI

   OpenAI releases 722 math proofs; Mistral launches Le Chonk

   Mistral launches Le Chonk, a 1T-parameter open model challenging Western dominance against Chinese labs.

4. October 8, 2026TechCrunch AI

   OpenAI math proofs face scrutiny over formal verification gaps

5. October 9, 2026Wes Roth

   OpenAI Math Release Sparks Backlash and Crypto Fears

   Vitalik Buterin warns the proofs could destabilize crypto standards for Bitcoin and Ethereum.

6. October 9, 2026The Verge AI

   OpenAI drops 700 AI-generated math papers

7. October 9, 2026Lev Selector

   OpenAI Publishes 722 Math Papers