Tomorrow’s Tech Treepowered by Astra

Mathematics & Algorithms · Recorded milestone

AI lifts the Riemann zeros bound

Recorded year2026

In August 2026 a Claude model proves at least 67.2% of zeta zeros lie on the critical line, up from 41.6%, with a Lean proof.

Explore this milestone on the interactive map

Built on

Led to

Sources & evidence

Dataset updated 2026-10-18. This individual record has not been separately re-reviewed.