OpenAI today (Sept 8 2026) solved Navier Stokes, one of the seven $1 million Clay Millineum problems, in 88 hours by a collaboration of 10,000 agents running an unreleased model. It took another 17 hours on their most advanced public model to produce a Lean model so that the proof can be mechanically verified. There is also a 166 page paper with no human authors listed because no team of humans could have possibly written it that fast. OpenAI only decided to tackle the problem after hearing a rumor (unfounded) on Sept. 1 that somebody else had solved it. The problem has been open since 1936 and the $1 million prize has been unclaimed since 2000.
https://openai.com/index/navier-stokes-solution The problem asks if an incompressible viscous liquid subjected only to smooth forces and with finite energy can develop singularities, points with infinite velocity within finite time. The answer is yes. The paper describes a rotating shrinking vortex with fluid flowing inward around the equator and out the poles under certain non obvious conditions. If you are still waiting for AGI or ASI or whatever you call it when machines surpass human intelligence, how much more proof do you need? -- Matt Mahoney, [email protected] ------------------------------------------ Artificial General Intelligence List: AGI Permalink: https://agi.topicbox.com/groups/agi/Tf866419d43752e9c-M6995987c481c258e5fbafe10 Delivery options: https://agi.topicbox.com/groups/agi/subscription
