Learning more about Claude's mathematical capabilities
Summary
Anthropic's Claude attempted the Riemann hypothesis and, while not solving it, achieved a substantial improvement in the lower bound for zeros of the zeta function from 41.6% to 67.2%. The post details Claude's approach, subagent coordination, and a Lean formalization of the results. It highlights AI's growing capability to contribute to advanced mathematics and proofs.