RSA-896 is a reported 896-bit factorization from September 19, 2026. This beginner-friendly guide explains how RSA hides two primes inside one public number, how the General Number Field Sieve works, how to verify the factors, and why the result does not break modern RSA.
Fermat’s Last Theorem has moved from a handwritten conjecture to a massive Lean formalization checked by a computer kernel. This beginner-friendly guide explains proof assistants, Wiles’s strategy, AI collaboration, and the limits of machine verification.
Claude’s attempt to directly tackle the Riemann hypothesis didn’t succeed, but it improved a key analytic number theory result. Anthropic reports a new 67.2% lower bound for the fraction of Riemann zeta zeros on the critical line, validated and formalized in Lean.