Scams OpenAI Says It Solved a $1M Math Problem. A Rival Mathematician Says He Did It First by shayaan September 9, 2026 by shayaan September 9, 2026 In brief OpenAI said Tuesday its internal AI model produced a Lean-verified proof that the Navier-Stokes fluid equations can “blow up,” using …
