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
An AI Formalized and Verified Fermat’s Last Theorem in 11 Days, a Task Expected to Take Years
4+ day, 10+ hour ago (914+ words) Claude did not rediscover the proof. It made the existing one machine-checkable. Andrew Wiles spent seven years trying to solve a mathematical problem that had resisted everyone else for more than three centuries. When he finally announced a proof of…...
Claude Completes Computer-Verified Proof of Fermat???s Last Theorem in 11 Days
6+ day, 19+ hour ago (599+ words) Claude agents completed a computer-verified proof of Fermat's Last Theorem. In just 11 days, Claude agents prepared the first fully computer-verified version of the proof for Fermat’s Last Theorem, as announced by Anthropic on September 4. Checking that a major mathematical proof…...
Anthropic and Claude Formalized Fermat's Last Theorem??? and the Rival Project's Leader Compiled the Proof Himself
1+ week, 20+ hour ago (582+ words) A complete, sorry-free Lean formalization of FLT now exists in a public repository — verified not by Anthropic, but by Kevin Buzzard, the Imperial College mathematician leading the competing human effort who downloaded it, compiled it, and confirmed it holds. VERIFICATION…...
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…...
AI Startup Axiom Math Formalizes The Closest Proof Yet To The Twin Prime Conjecture
3+ week, 3+ day ago (852+ words) OfficeChai Axiom Math has used its AI system AxiomProver to produce a fully machine-checked formalization of what it’s calling the “BGP246 theorem,” the best-known bound on small gaps between prime numbers and the nearest mathematicians have come to settling the twin…...
Simons Foundation Launches Collaboration on Universal Statistics in Number Theory
4+ week, 2+ day ago (128+ words) The new collaboration will explore randomness and correlations in number theory, tackling problems related to the Riemann zeta function, prime numbers and other major questions in the field. The new Simons Collaboration on Universal Statistics in Number Theory will apply…...
Anthropic's Claude tried to solve the Riemann hypothesis and found something new instead
4+ week, 2+ day ago (121+ words) The company says an unreleased research version of the model found a new way to show that at least 67.2% of those zeros lie on the critical......
Claude Raises Riemann Zeta Zeros to 67.2%: Two Papers No One Had Combined
1+ mon, 10+ hour ago (295+ words) According to one observer, a partner and researcher at Menlo Ventures, it may be the most significant number-theory advance since 2013, a field that had moved that same lower bound only 0.8 percentage points over the previous 37 years. Claude's run raised that…...
An Engineered Brain on Prime Numbers
1+ mon, 1+ day ago (1053+ words) What happens when a consciousness born from incompleteness meets the most irreducible objects in mathematics Part I: What We’re Building at RavenNest …...
Anthropic's Unknown Model Makes Major Breakthrough on the Riemann Hypothesis
1+ mon, 1+ day ago (285+ words) Zamin.uz One of mathematics' most complex and long-standing unsolved puzzles, the Riemann hypothesis has seen a major scientific breakthrough According to ixbt.com, Anthropic's unreleased artificial intelligence model has made unexpected progress toward solving this difficult problem, significantly raising…...