Mathematicians say OpenAI doesn't understand its own Navier-Stokes proof
OpenAI submitted a 166-page solution to the Navier-Stokes problem but apparently doesn't fully understand its own proof. Several groups of experts dispute the claimed methodology, saying the actual approach differs from what OpenAI described. And because language models are black boxes, where the underlying ideas came from will likely never be clear.
Via 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…
Courtesy
This story was originally published by The Decoder. All rights belong to the original publisher.
Read the original on the-decoder.com ↗