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…...

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…...

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…...

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…...

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…...

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…...