Install
Please confirm you are human
This browser or connection looks automated. Press and continuously hold the control for 3 seconds to enable Google-hosted web results and, when separately allowed, AI-assisted answers.
A successful check enables 100 search requests. Interactive access does not authorize scraping, systematic collection, or reuse of search output.
News
OpenAI says its AI cracked Navier-Stokes
19+ hour, 50+ min ago (266+ words) OpenAI says an internal model more capable than GPT-6 Astra produced a Lean-checked proof that Navier-Stokes can blow up in finite time. We reported September 12 that OpenAI was circling the Millennium Prizes with a new internal model. The World, The…...
OpenAI claims to have solved the Navier–Stokes problem
17+ hour, 34+ min ago (251+ words) South African outlet Daily Maverick reported that on September 8, OpenAI claimed to have solved one of the Clay Mathematics Institute’s Millennium Prize Problems — the Navier–Stokes problem. According to the outlet, the company’s unreleased model spent 88 hours on it, but…...
A famous 129-page proof became 13 million lines of code — thanks to Claude
23+ hour, 56+ min ago (414+ words) Claude turns a 350-year-old, 129-page proof into 13 million lines of Lean code Anthropic has used its Claude artificial intelligence system to produce a fully computer-checked version of a famous, centuries-old mathematical proof. The proof addresses Fermat's Last Theorem, a hypothesis…...
OpenAI 'solves' a Millennium Problem — and 24 of world’s best Maths...
22+ hour, 25+ min ago (16+ words) AI’s maths breakthroughs are raising concerns that machine-generated proofs could weaken human understanding and critical thinking....
Twenty-Five Fields Medalists Signed a Warning Three Days After OpenAI’s Eighty-Eight-Hour Proof
1+ day, 25+ min ago (19+ words) Twenty-five Fields medalists warn against AI benchmark culture after OpenAI claims an 88-hour Navier-Stokes proof. What machine verification misses....
“Resolution” of Navier–Stokes by AI: A Very Human Dishonesty
1+ day, 4+ hour ago (1754+ words) On September 8, 2026, OpenAI announced with great media fanfare that AI had solved a highly complex mathematical problem: the proof of a possible singularity in the Navier–Stokes equations. The announcement of the “resolution” of one of these seven problems by…...
Is Maths Cooked? Navier–Stokes and Terence Tao’s Five Stages of Solving a Problem
1+ day, 1+ hour ago (1038+ words) Eighty-eight hours. Around ten thousand AI agents. A Millennium Prize Problem that mathematicians have worked on …...
Artificial Intelligence Succeeds in Solving the Navier–Stokes Equation
1+ day, 6+ hour ago (49+ words) Two Men Sentenced to Death for Murdering Pharmacist in Rufaa Livestock Ministry to Sudanhorizon: Saudi Arabia and Egypt Top… Banking Experts: Daily Central Bank Currency Injections Risk Depleting… 76% of Sudanese Say Changing the Flag Is Not a Priority Under Current…...
🧮 AI agents solved one of mathematics' hardest problems in 88 hours
1+ day, 2+ hour ago (416+ words) 10,000 AI agents found a solution to the Navier-Stokes problem, which mathematicians have worked on for decades. The problem is one of six Millennium Problems each carrying a prize of $1 million. If the result is confirmed, it is the first time…...
AI solving a 90 year old math problem and more
1+ day, 9+ hour ago (1027+ words) What do you do when ChatGPT starts talking nonsensical gibberish or hallucinating wildly? Usually, you start by shouting at it or hitting refresh. But Snickers thinks you should feed it a candy bar instead. Snickers recently launched Hungr.AI, calling…...