OpenAI presents mathematical solution to fluid dynamics problem
Researchers at OpenAI claim an unreleased model successfully solved the Navier-Stokes existence problem, one of seven Millennium Prize Problems. Working across 88 hours with roughly 10,000 agents, the system generated a mathematical proof that was later checked using formal verification software.
