Collection
Claude and the 67.25% Riemann-zeta bound — Sources
Primary mathematical, formal-verification, process and prior-record sources for Sensemaker's Aug 11 brief on Claude's Riemann-zeta result.
Collection
Primary mathematical, formal-verification, process and prior-record sources for Sensemaker's Aug 11 brief on Claude's Riemann-zeta result.
More than five-twelfths of the zeros of $ζ$ are on the critical line
The second moment of the Riemann zeta-function twisted by a normalized Dirichlet polynomial with coefficients of the form $(μ\star Λ_1^{\star k_1} \star Λ_2^{\star k_2} \star \cdots...
zeta-23-lean/AUDIT.md at 3635e74826a4c1fcece7d1cd2b6fa75e43a00510 · anthropics/zeta-23-lean
Contribute to anthropics/zeta-23-lean development by creating an account on GitHub.
GitHub - anthropics/zeta-23-lean at 3635e74826a4c1fcece7d1cd2b6fa75e43a00510
Contribute to anthropics/zeta-23-lean development by creating an account on GitHub.
Learning more about Claude's mathematical capabilities
An unreleased version of Claude has made strides on a problem related to the Riemann hypothesis. It improved the lower bound for the fraction of zeros of the Riemann zeta function that satisfy the hypothesis, increasing it from 41.6% to 67.2%.
