Science ❯ Mathematics ❯ Mathematical Research ❯ AI in Mathematics
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.
