OpenAI Claims Progress on Navier-Stokes, One of Math's 'Millennium' Problems
A Bold Mathematical Claim
OpenAI has announced that its reasoning system has produced a purported proof of the Navier-Stokes equations, one of mathematics' most celebrated unsolved problems. The company says the system, developed as part of its effort to push AI toward formal mathematical reasoning, generated a complete proof