← The Polylog AI Intelligence Brief
Morning Edition · Sunday, September 6, 2026Published at 2:32 AM EDT · New York
Claude Agents Produced a Machine-Checked Proof of Fermat's Last Theorem in Eleven Days
The run wrote 13 million lines of Lean and proved 29,500 intermediate theorems, and a separate Claude session raised a longstanding Riemann zeta lower bound from 41.6% to 67.2%.
Anthropic published two results within days of each other, and they are unusual because one of them is externally checkable in a way most model claims are not. Dozens of Claude agents, working largely without human direction for eleven days…
Continue the AI Intelligence Brief
Track frontier labs, chips, export controls, model releases, regulation, and AI infrastructure.
- 5 AI intelligence signals a day
- Frontier labs, compute, and chips
- Model releases and AI infrastructure
- Source-grounded analysis with confidence labels
The Global Intelligence Brief stays free.
Townsquare
Start a discussion in Townsquare.
More from this edition
- OpenAI Opens GPT-6 Astra to Business Subscribers Days After Rating It Critical for Cyber Capability
- Nvidia Closes $12.93 Billion Purchase of Hugging Face, Buying the Distribution Layer for Open Models
- Anthropic's Claude Fable 5.1 More Than Doubles Its Predecessor on an Agentic Science Benchmark
- Anthropic Previews a Hardware Standard Letting AI Agents Drive Lab and Factory Equipment
- Meta Prices Its Model Programming Interface Below Rivals as Muse Spark Reaches Version 1.3
- Bessent Says AI Companies Have Done a Horrendous Job Explaining Data Centers to Americans
- Anthropic Details a Text Watermark That Biases Claude's Word Choices Without Changing Output Quality
Comments
0No comments yet.