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…...
The part of Navier-Stokes no one is talking about
3+ day, 16+ hour ago (289+ words) Yesterday OpenAI announced a proof that settled a long-standing question about the Navier-Stokes equations from fluid dynamics. The announcement has created a lot of buzz, as one would expect. But there’s an aspect of OpenAI’s work that I haven’t seen…...
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…...
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....
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 …...
Physical Meaning in Physics Equations
3+ week, 5+ day ago (160+ words) Physical notation gains meaning through staged teaching. Worked examples and assessment show learners translating symbols, operations, and indices into claims about phenomena. An aspiring AGI researcher follows a three-year curriculum. Mathematics, physics, computing, machine learning, robotics, safety, and thesis work…...
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 …...
Claude takes on the Riemann hypothesis and finds something new
1+ mon, 19+ hour ago (457+ words) Home | Updates | Claude takes on the Riemann hypothesis and finds something new Anthropic says its Claude Riemann hypothesis experiment produced a new result validated by mathematicians and formally verified in Lean. Anthropic says an unreleased Claude research model has produced…...
Claude’s attempt at the Riemann Hypothesis
1+ mon, 1+ day ago (497+ words) The Riemann Zeta Function and How it Relates to the actual Riemann Hypothesis The Riemann hypothesis makes the claim that “all nontrivial zeros of the Riemann zeta function have a real part equal to 1/2”. The Riemann zeta function is linked…...