Unreleased Anthropic Model Autonomously Advances Riemann Hypothesis Bound via 60 Sub-Agents
Anthropic announced that an unreleased model made significant progress on the Riemann hypothesis by raising the lower bound for which it holds, after a staffer without significant mathematical training prompted it and le...
[Anthropic]
[Multi-Agent Systems]
[riemann hypothesis]
[automated theorem proving]
[lean proof assistant]
Risk:
[+0.08 pp]
[1 day sooner]
AGI:
[+0.07 pp]
[1 day sooner]