AITechCrunchabout 2 hours ago
Anthropic model advances Riemann hypothesis proof
1 min read
Anthropic announced an unreleased model made significant progress on the Riemann hypothesis, raising the lower bound of solutions. The model tested 650 ideas across 60 sub-agents, spending $31 million. Two in-house mathematicians confirmed the finding, formalized with Lean.
Level
Hype check
Tap to vote and see what everyone thinks.
In this storyAnthropic
Summary by ByteBrief
