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
A 50-year-old computer-assisted proof
3+ day, 13+ hour ago (254+ words) The idea of using computers to assist with proofs is not new. The first major computer-assisted proof was published in 1976, the proof of the four color theorem by Kenneth Appel and Wolfgang Haken. The authors reduced the proof of the…...
Why Navier-Stokes remains one of mathematics’ toughest problems — Institute
4+ day, 7+ hour ago (518+ words) The Clay Mathematics Institute has described the Navier-Stokes equation as one of seven exceptionally difficult mathematical problems that have resisted solution for many years, with fundamental questions about the behaviour of fluids still awaiting proof. CMI medala The Cambridge, Massachusetts-based…...
???Stunning??? Percolation Proof Solves Decades-Old Puzzle About Phase Transitions
1+ week, 5+ day ago (1437+ words) DVDP for Quanta Magazine The week before Christmas 2025, five mathematicians were holed up in a classroom at ETH Zurich. The mood was electric: They were this close to a career-defining breakthrough. The group — consisting of then-postdocs Sahar Diskin (opens a…...
Heisuke Hironaka obituary: mathematician who smoothed out geometry’s complexities
2+ week, 1+ day ago (217+ words) His awe-inspiring proof for the resolution of singularities — such as peaks, edges and self-crossings — revolutionized algebraic geometry....
Art helped this astrophysicist make sense of math
2+ week, 5+ day ago (1427+ words) Theoretical physicist Ronald Gamble uses math to study how black holes warp the shape of spacetime. Sometimes, he pictures himself as Marvel’s Iron Man. “I feel like Tony Stark every other day.” When Ronald Gamble first learned about black holes…...
What If AI Could Discover a New Scientific Law?
2+ week, 5+ day ago (409+ words) For most of history, scientific discoveries came from humans. Someone noticed something unusual, asked a question, tested an idea, and slowly built an explanation. But AI is changing how we approach science. So I started wondering: What if AI discovered…...
The 72‑Hour Abyss: The Mathematical Proof That Civilization Has No Margin
2+ week, 6+ day ago (556+ words) DOI: https://doi.org/10.5281/zenodo.22071465 For the full free printable report. THE STORY OF A WORLD THAT RUNS OUT OF …...
I Was Solving the Same Problem Twice - I Just Didn’t Know It
3+ week, 13+ hour ago (381+ words) How Dynamic Programming quietly changed the way I think about optimization while building an AI agent I realized I was solving the same …...
The Day Math Predicted Antimatter
4+ week, 1+ day ago (1135+ words) The Day Mathematics Predicted Antimatter Before Nature Answered, Mathematics Already Knew. In 1928, a quiet young physicist walked onto a stage to present the results of his latest work. There was …...
The Infinity Nobody Can Pin Down
4+ week, 1+ day ago (32+ words) How mathematicians proved that some questions have no right answer, and built entire universes to do it There’s a question about infinity that mathematics can never …...