It Was Announced to Much Fanfare that AI Had Solved the Navier–Stokes Problem. As a Mathematician Explains, that’s only Sort of the Case
- Mathematicians say humanity has learned little so far from an AI model’s purported solution to the Navier–Stokes problem.
- They believe the proof is technically correct, but the AI-drafted, 166-page manuscript is difficult to read.
- Oxford mathematician James Maynard said it has been difficult to gain human understanding from the proof.
- Brown University mathematician Javier Gómez-Serrano said the paper is not written for humans, although its Lean code compiled as expected.
11 Articles
11 Articles
OpenAI shook the hermetic world of mathematics a few days ago by solving a centuries-old equation through its artificial intelligence model
For fifteen years, mathematicians had been unable to solve the problem associated with the Navier-Stokes equations, and artificial intelligence helped to get the result in a few months. Andrey Sobolevsky, Doctor of Physical and Mathematical Sciences, tells RTVI how this discovery relates to airplanes and nuclear power plants why neural networks are useful for mathematicians and why
Recently, a surprising article caught my eye. It reported that an AI solved the Navier-Stokes equation—an old conundrum in fluid dynamics—in just 88 hours by running 10,000 agents in parallel to generate a staggering 130 billion tokens, demonstrating that a smooth flow can reach a singularity within a finite time. For those who might still be scratching their heads wondering what on earth this means after reading the article, let me elaborate: b…
Coverage Details
Bias Distribution
- 50% of the sources lean Left, 50% of the sources are Center
Factuality
To view factuality data please Upgrade to Premium
