Install
Proofs and Theorems
Proofs and Theorems in Geometry: the news, the names and what changed.
- 11 Tracked terms
- Last 30 days Feed window
What this topic collects on
An article joins this feed when it matches these terms. Each one is also a search of its own.
Related topics
Latest in Proofs and Theorems
We spoke to the organizer of the Caltech AI math event: 'We don't have the luxury of waiting"
4+ hour, 54+ min ago (997+ words) Caiman Moreno-Earle, a math major at Caltech, was wary after watching AI companies rapidly solve mathematical theorems that had stumped his professors for years. "It got kind of demoralizing," he told Business Insider. So the 19-year-old sophomore decided to bring…...
OpenAI Claims Breakthrough in Navier-Stokes Equation, but NYU Mathematician Alleges His Work Was Copied
16+ hour, 8+ min ago (840+ words) Mathematician Tristan Buckmaster asserts OpenAI cribbed the work he and a collaborator had done, which included significant progress toward solving the equation in August. OpenAI announced its team had solved the equation this week. In May 2000, to inspire mathematicians and…...
OpenAI claims to have solved the Navier–Stokes problem
19+ hour, 30+ 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
1+ day, 1+ hour 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…...
Is Maths Cooked? Navier–Stokes and Terence Tao’s Five Stages of Solving a Problem
1+ day, 3+ hour ago (1038+ words) Eighty-eight hours. Around ten thousand AI agents. A Millennium Prize Problem that mathematicians have worked on …...
🧮 AI agents solved one of mathematics' hardest problems in 88 hours
1+ day, 4+ 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…...
2 High School Students & A Postdoc Have Used AI To Apparently Solve A Math Problem That Had Stumped A Fields Medalist
1+ day, 9+ hour ago (201+ words) AI appears to have opened math research to a cohorts that weren’t typically expected to contribute meaningfully to the field until recently. Two teenagers from Oak Park High School in California and a UCLA postdoc have just put their names…...
AI Is Powerful Enough to Crack Our Hardest Math Problems—and Kill Us All
1+ day, 22+ hour ago (771+ words) You don’t need to know any math to understand why the Millennium Prize breakthrough matters. It’s proof of AI’s accelerating and terrifying progress. Why should we care that AI is suddenly insanely good at math? It’s a question that I’ve…...
A 58-year-old lecturer who had published no original work in 12 years, and who had spent years keeping the books at a friend's Subway sandwich shop, mailed a paper to the Annals of Mathematics on April 17, 2013. Just over a month later it was accepted: pairs of consecutive primes less than 70 million apart occur infinitely often.
1+ day, 23+ hour ago (342+ words) An obscure adjunct, working at a Subway while publishing nothing, solved a centuries-old problem that had defeated the world's elite mathematicians. By Science Blog Editorial Team Published September 12, 2026 · How we edit By the time he submitted, he had published no…...
OpenAI Says It Solved a Million-Dollar Math Problem. Mathematicians Aren’t Applauding.
1+ day, 19+ hour ago (31+ words) There’s a version of this story where OpenAI gets a victory lap. An AI system cracks one of the seven …...