A Claim That Sparked Immediate Pushback

The episode began when OpenAI suggested its system had made progress on the Navier-Stokes existence and smoothness problem. The announcement quickly drew criticism from mathematicians and observers in the field, who argued the claim conflated a simplified or reformulated version of the problem with the original open question posed by the Clay Mathematics Institute.

The core objection, as reflected in the circulated Korean-language debate over the claim — that "it was not a problem mathematicians were trying to solve" — is that the version of the problem addressed differs from the formal Millennium Prize statement, which asks for a rigorous mathematical proof of existence and smoothness of solutions to the equations in three dimensions.

Why the Distinction Matters

The Navier-Stokes equations describe fluid motion and are among the most famous unsolved problems in mathematics. Solving the official Millennium Prize formulation would require a formal proof meeting exacting mathematical standards, not a computational or approximate result. Critics of the OpenAI claim say that regardless of the technical achievement involved, presenting it as progress on the celebrated open problem overstates its significance.

The debate highlights a recurring tension as AI companies announce results on long-standing scientific and mathematical challenges: the gap between an impressive computational demonstration and the formal proof that the mathematical community recognizes.

It remains unconfirmed whether OpenAI's work constitutes progress toward the official Millennium Prize formulation; the company's claim and the resulting criticism continue to be debated within the mathematical community.

The claim that OpenAI's Navier-Stokes announcement was mischaracterized — addressing a problem mathematicians were not actually trying to solve — is Partly True.