India, Sept. 9 -- OpenAI said on Tuesday that an unreleased internal AI system has produced a proof of the Navier-Stokes existence and smoothness problem, one of mathematics' seven Millennium Prize Problems. If the proof holds, it would be the second of the seven problems to be solved, and the first by an AI system.

The proof claims that an initially smooth fluid at rest, driven by a smooth force with its energy staying finite, can develop a singularity in finite time. In OpenAI's account, a vortex spirals inward and stretches, its core shrinking as it spins faster. The Clay Mathematics Institute poses the problem in four versions. OpenAI said its system established the two versions that amount to a disproof. The company published the pr...