GoKawiilOpenAI system claims solution to a Navier-Stokes Millennium Prize problem
An AI system built by OpenAI reportedly produced a proof resolving a case of the Navier-Stokes blowup problem, one of the seven Millennium Prize problems, by constructing a counterexample rather than new theoretical machinery. The work built partly on prior human research, including contributions from mathematicians Tristan Buckmaster and Levent Alpoge, and marks the first Millennium problem tackled by an AI attempting all seven in parallel.