Science ❯ Mathematics ❯ Mathematical Research
Erdos Problems AI Co-Mathematician AI Models
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.
