Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof

OpenAI's 166-page attempt at the Navier-Stokes problem may not match the method it described, mathematicians told Scientific American. The proof is written in Lean, a language that checks each step but is hard for people to read. OpenAI also ran about 10,000 model instances for 88 hours, and one researcher says it is unclear how much that swarm helped.

Summary written with AI by HowTechMoves, based on reporting by The Decoder.