AI Weekly Malaysia

Anthropic reports that an unreleased research version of Claude, when challenged to attempt the Riemann hypothesis, unexpectedly improved a longstanding lower bound for the fraction of Riemann zeta zeros on the critical line from 41.6% to 67.2%. Two Anthropic mathematicians validated the result, and Claude produced a formally verifiable proof. The work draws on recent research by Baluyot, Goldston, Suriajaya, and Turnage-Butterbaugh extending Montgomery's 1973 techniques.

Why: This is a vendor showcasing its own model on a benchmark with no direct builder takeaway — you don't need to change any tooling or workflow because of it. The only useful signal is that frontier models are now producing novel mathematical proofs drawing on and extending specific lines of published research, which suggests AI/ML practitioners working on reasoning-heavy tasks should track whether formal-proof and verification capabilities become available as product features.