Next GPT "solved" Navier-Stokes? The proofs don't match

Name: Next GPT "solved" Navier-Stokes? The proofs don't match
Uploaded: 2026-11-03T09:11:38.253Z
Duration: 39 s
Channel: Dataempower
Description: Sam Altman says the model behind OpenAI's Navier-Stokes proof is the next GPT. Mathematicians in London and Cambridge found the machine-checked Lean version and the written proof make different claims. Full story: