Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
By Manuel Uth, The Decoder
Picture: The Decoder
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. Ad Before publication, NYU mathematician Tristan Buckmaster accused OpenAI of building on work that he and Anthropic's Levent Alpöge had done with publicly available models.
This report was first published by The Decoder. What you see here is a brief excerpt. The full text is theirs.
Continue reading at The Decoder
