Mathematics
2 entries between July 2024 and September 2026, 1 turning point.
Turning points
-
OpenAI says AI solved Navier-Stokes; mathematicians dispute credit
On 8 September 2026 OpenAI said an AI system had produced a Lean-formalized proof for the Navier-Stokes Millennium Prize problem; mathematicians quickly disputed who deserved the credit.
Every entry
-
OpenAI says AI solved Navier-Stokes; mathematicians dispute credit
On 8 September 2026 OpenAI said an AI system had produced a Lean-formalized proof for the Navier-Stokes Millennium Prize problem; mathematicians quickly disputed who deserved the credit.
-
DeepMind systems reach silver-medal standard at the IMO
Google DeepMind said its AlphaProof and AlphaGeometry 2 systems solved four of six problems at the 2024 International Mathematical Olympiad, scoring 28 of 42 points, one short of a gold medal. The systems took up to three days per problem against contestants’ 4.5 hours.