AnalysisScienceOctober 13, 2026

Mathematicians reassess OpenAI's Navier-Stokes proof

Read original source →scientificamerican.com

OpenAI's 166-page September solution, produced by an internal LLM, does not follow the "Spanish program" of Diego Córdoba and Luis Martínez-Zoroa as initially reported, per mathematicians who worked through it. NYU's Scott Armstrong called the construction "unbelievable" and possibly beyond what a human could devise.

People · Scott Armstrong, Tristan Buckmaster

How this story unfolded

3 weeks · 0 reports · 4 community posts · from Oct 7

  1. Oct 7
  2. Oct 13
  3. Oct 23
  4. Oct 26

More stories today

Open the live feed