Seven complex mathematical problems with one million dollar rewards for solutions, established by Clay Mathematics Institute.
Why it's trending
via Google SearchMillennium Prize Problems, seven million-dollar mathematical challenges, is trending after OpenAI published a claimed AI-generated solution to one of them.
More on why it's trending
OpenAI published a claimed AI-generated solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems, sending readers to the Wikipedia article for background on the challenge. The solution includes a formal proof in Lean and has drawn coverage from the New York Times, Nature, and the Wall Street Journal.
Sources
- openai.comOn the Navier–Stokes Millennium Prize Problem
We're sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
- reddit.comOn the Navier–Stokes Millennium Prize Problem
We're sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.
- wsj.comOpenAI Says It Has Solved a Millennium Prize Problem ...
Back in 2000, seven of the deepest and most difficult unresolved questions in mathematics were enshrined as the Millennium Prize Problems.
- nature.comOpenAI claims huge maths breakthrough on a famed ' ...
OpenAI claims huge maths breakthrough on a famed 'Millennium Problem'. The company says it has cracked the physics of fluids using AI, solving one of the ...
- simonwillison.netOn the Navier–Stokes Millennium Prize Problem
Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems that have been subject to a $1,000,000 prize since May 24th, 2000.
- facebook.comScientific American
Millennium Prize Problems—math's biggest targets, each worth a $1-million prize. an artificial intelligence start -up. a $1,000,000 reward. $1 million prize.
- nytimes.comWhat Is Navier-Stokes, the 'Millennium' Math Problem ...
The Navier-Stokes problem essentially asks if a series of math equations that describe the movement of liquids and gases become unreliable in certain ...
- mathworld.wolfram.comMillennium Prize Problems -- from Wolfram MathWorld
The Millennium Prize Problems are seven mathematical problems designated by the Clay Mathematics Institute (CMI). They were announced in Paris on May 24, ...
- qz.comOpenAI says its AI solved Navier-Stokes Millennium ... - Quartz
OpenAI published a claimed solution on Tuesday to the Navier-Stokes existence and smoothness problem, one of seven Millennium Prize Problems — a set of ...