OpenAI claims to have solved maths problem that stumped humans for decades
TL;DR
Company behind ChatGPT says 10,000 of its AI systems cracked the Navier-Stokes problem in 88 hours OpenAI claims to have solved a major mathematics problem that has stumped humans for nearly a century after spending millions of dollars on the artificial intelligence-led endeavour. The company behind ChatGPT said it had cracked the Navier-Stokes problem, one of seven Millennium Prize Problems published by the Clay Mathematics Institute to highlight some of the biggest unsolved puzzles in the field.
Nauti's Take
If the Navier-Stokes proof holds, it is real progress for research, because it shows AI agents sustaining work on one hard problem across days rather than minutes. The catch is verification speed: mathematicians need months to check a proof of this size, and the company timeline runs far ahead of that.
Researchers gain a strong argument for making agent logs and reproduction steps part of any such claim.
Sources
