Source: The Next Web
OpenAI claimed its o1 model solved the finite-time blow-up problem for 3D Navier-Stokes equations—one of the Millennium Prize Problems worth $1 million—by orchestrating 10,000 agents over 88 hours to produce a formally verifiable proof. Machine-checkable proofs can be verified by independent systems, removing human error from validation. Whether the breakthrough meets peer-review standards, and the speed and resource cost required, remain open questions.