Science ❯ Mathematics

Mathematical Research

AI in Mathematics Artificial Intelligence Hobby Mathematicians Historical Mathematics Computational Mathematics AI Contributions Applied Mathematics Research Dissemination Research Environment Impact of AI Philosophy of Mathematics Research Ethics

5 ARTICLES

last mo.

Anthropic’s Claude Raises Proven Riemann Zeta Zero Bound to 67.2%

Anthropic says an unreleased research Claude recombined prior papers to increase the proven fraction of zeta zeros on the critical line and produced a Lean formalization, producing a major AI-assisted advance in analytic number theory.