Lean

Anthropic's Unreleased AI Model Makes Striking Progress on the Riemann Hypothesis

Anthropic says an unreleased AI model advanced work on the Riemann hypothesis, highlighting how AI is increasingly contributing to frontier mathematic...