Tag
A new computer-assisted proof establishes that the de Bruijn–Newman constant Λ is at most 0.1787854, improving the previous bound of 0.2 and advancing work on the Riemann hypothesis.
An unreleased Anthropic model made significant progress on the Riemann hypothesis, using 60 subagents and 31 million tokens to test 650 ideas and improve the lower bound, with results formalized in Lean.
Anthropic's unreleased research version of Claude improved the lower bound for the fraction of Riemann zeta function zeros satisfying the Riemann hypothesis from 41.6% to 67.2%, demonstrating rapid progress in AI mathematical capabilities.
A non-mathematician used ChatGPT to identify a normalization error in two recently published Riemann Hypothesis papers, and the author confirmed the issue after being contacted. The story highlights AI's growing role in assisting mathematical research.
This paper applies the VGPT-RSI AI system to produce formally verified partial results related to the Riemann Hypothesis, including boundary certificates and finite Lagarias inequalities, while explicitly identifying remaining mathematical obstructions.
Anthropic reports that an unreleased research version of Claude improved a longstanding lower bound related to the Riemann hypothesis, raising it from 41.6% to 67.2%, with a formally verified proof.