Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof

PUBLISHER ARTICLE PREVIEW

From the original article

In early September, the company presented a 166-page potential solution to the Navier-Stokes problem. OpenAI claimed the proof followed the approach of Spanish mathematicians Diego Córdoba and Luis Martínez-Zoroa.

Several groups of experts now disagree, Scientific American reports. "When you go to the details, it is a different approach," says mathematician Gonzalo Cao-Labora of EPFL. The similarities are only surface-level, he says.

The potential proof is written in Lean, a formal verification language that checks every logical step but doesn't make it readable to humans on its own. The Clay Mathematics Institute (CMI) has been reviewing it since its release.