He confessed he might have thought one half was a fundamental barrier — apparently not.
Development
A model raises a Riemann-hypothesis lower bound from 41.6% to 67.2%
Claim
Asked by a non-mathematician to take a real stab at the Riemann hypothesis, an unreleased research Claude instead raised the lower bound for zeta zeros on the critical line from 41.6% to 67.2%, using 60 subagents, 31 million tokens and a formally verified Lean proof, which Stanford's Jared Duker Lichtman called the most impressive result AI has produced in mathematics so far.
Reported metric: 41.6% to 67.2%
Reporting date: (not necessarily the event date)
Sources
Attribution and reporting linked by this record; links do not imply independent verification.
- Welcome to August 12, 2026 (theinnermostloop.substack.com)
Cite or correct this record
Suggest a correction — opens a GitHub draft for you to review and submit.