Topic

Mathematics

4 articles

When Machines Write Math, Who Checks the Answer?

On October 6, 2026, a flood of 722 AI-generated mathematical manuscripts arrived, overwhelming the traditional peer-review system. This article explores the tra…

Science Technology Artificial Intelligence

Henrik Mägi · Oct 13, 2026 • 13:28

Can AI Finally Crack the Navier-Stokes Problem?

OpenAI has stunned the world by releasing 722 mathematical manuscripts, potentially solving the 200-year-old Navier-Stokes problem. Using the Lean 4 language to…

Technology Science AI Mathematical Logic

Henrik Mägi · Oct 07, 2026 • 14:44

$AI Solved a $1 Million Math Problem in 88 Hours — Technology$

AI Solved a $1 Million Math Problem in 88 Hours

An AI system has reportedly solved the $1 million Navier-Stokes Millennium Prize problem, completing in 88 hours what would take 110 human careers. This breakth…

Technology Science Artificial Intelligence

Henrik Mägi · Sep 09, 2026 • 07:29

Can machines see logical truths that humans have missed for decades?

In 2026, the AI model Claude Fable 5 solved a mathematical mystery unsolved since 1939, proving that locally predictable maps aren't always reversible. This bre…

Science Technology Mathematics

Henrik Mägi · Jul 21, 2026 • 11:03