Mathematicians Push Back on Altman's Navier-Stokes Claim

Sam Altman's claim that 10,000 agents running 88 hours 'solved' Navier-Stokes in Lean drew sharp rebukes from mathematicians, who argue injected forcing terms expose a mathematical loophole rather than a real solution.

2026-09-09 ~ 2026-09-10 · 3 related posts

• Mathematicians tear into Altman's Navier-Stokes claim: 10,000 agents ran 88 hours to force a singularity — rkulidzan · 2026-09-09
• Viral rant slams OpenAI's Navier-Stokes claim: 10k agents for 88 hours forced a singularity, solved nothing — thedealdirector · 2026-09-10
• Mathematician slams OpenAI's Navier-Stokes claim: like a billionaire bragging about a trapped rhino — deliprao · 2026-09-10