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 claims to have solved the Navier–Stokes problem
58+ 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
7+ hour, 21+ 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...
5+ hour, 49+ 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
7+ hour, 49+ 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
12+ hour, 11+ min 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
9+ hour, 1+ min 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
13+ hour, 43+ min 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
9+ hour, 52+ min 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
17+ hour, 6+ min 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…...
UNT lands $20 million gift for new artificial intelligence college
1+ day, 2+ hour ago (400+ words) The University of North Texas is getting a $20 million boost for artificial intelligence and data work as universities continue figuring out what AI should look like on campus. The money from Anuradha and Vikas Sinha will support the University of…...