Vals AI's Ten Claude Agents Formally Prove a Century-Old Math Problem

Ten Claude Sonnet 5.5 agents collaborated for 15 hours to produce a 17,895-line Lean proof for the Thomson problem at N=7.

Read the full story at AlphaSignal ↗

Timeline · 1 report

2026-09-29 02:16 · AlphaSignal
Vals AI's Ten Claude Agents Formally Prove a Century-Old Math Problem

More stories

Introducing Claude Sonnet 5.5 on AWS — AWS Machine Learning Blog
Anthropic releases Claude Sonnet 5.5 with the cyber limits it reserved for its best models — The Next Web
Kimi K3: A Claude clone or something else? — CoreWeave Blog
Tutorial: Benchmarking GPT-6 Astra vs Claude Fable 5.1 vs GPT-5.6 Sol using W&B Weave — CoreWeave Blog
Opus 5.5 — r/ClaudeAI
Opus 5.5 vs. GPT-6 Sol: which model won my blind taste test? — How I AI
Claude Sonnet 5.5 now available on AI Gateway — Vercel Blog
Did Anthropic’s A.I. Really Make a Scientific Discovery on Its Own? — New York Times AI

Get the daily brief of stories like this at 6:30 every morning →