Scott Armstrong says OpenAI's Navier-Stokes result may exceed human invention
The PDE mathematician called the construction beyond what a person might have devised, yet understandable by people. An October preprint challenges whether OpenAI's Lean formalization matches its written proof.
By Ryan Merket · Published
Primary source: x.com
Why it matters
Armstrong is a mathematician whose research includes partial differential equations, so his praise carries weight as an expert assessment of the construction's ambition.
Scott Armstrong made the October 25th assessment of OpenAI's Navier-Stokes paper. Armstrong called the result "unbelievable" and said it may be beyond what a human could have come up with, though not beyond human understanding. He is a professor of mathematics at NYU's Courant Institute and a CNRS research director at Sorbonne Universite; his listed research interests include partial differential equations. That background makes his reaction meaningful as a mathematician's view of the work's ambition, not a referee's verdict on its correctness.…
When you purchase through links in our articles, we may earn a small commission. This doesn’t affect our editorial independence.