Claude Riemann Zeta Function Bound

All projects

Agents / Skills

Claude Riemann Zeta Function Bound

Improving the Riemann zeta function lower bound from 41.6% to 67.2% using AI subagents

byAnthropic

PlayableOpen source

Claude Riemann Zeta Function Bound media is blocked

Allow external media to connect to the provider and play this content.

Description

An autonomous multi-agent system powered by an unreleased research version of Claude successfully improved a longstanding mathematical lower bound in analytic number theory. The system coordinated 60 subagents to run 2,400 shell commands, write hundreds of Python scripts, and conduct thousands of numerical checks to produce a formally verifiable proof in Lean.

Descriptions, tags, and model credits may be AI-generated or inferred from public sources and can be incomplete or wrong. Learn more.

Details

Why this is interesting: A landmark research milestone where an AI agent autonomously improved a 160-year-old math constant through multi-step…
Attributed to: @anthropicai
Built with: LTX 2.3 Pro 3.1 Pro Seedream 5.0 Pro Vidu Q3 Pro Seedance 1.5 Pro Flux 2 Pro Nano Banana Pro
Links: anthropic.com
View tweet
View GitHub repo
Tags: #math #research #proof #autonomous

Discovered: X
First posted: X · Aug 10, 2026
Listed: Added 16d ago
Build: Strong
Models: Strong

Prompt

take a real stab

Source