Search



Mathematician


OpenAI Says It Solved a M Math Problem. A Rival Mathematician Says He Did It First
9
Web3
OpenAI Says It Solved a $1M Math Problem. A Rival Mathematician Says He Did It First
Posted On September 8, 2026 Jose Antonio Lanz 0

In short OpenAI mentioned Tuesday its inside AI mannequin produced a Lean-verified proof that the Navier-Stokes fluid equations can "blow …