Tagged articles

Lean Theorem Prover

2 articles · Page 1 of 1

Sep 6, 2026 · Artificial Intelligence

Anthropic's Killer Multi-Agent Blueprint: One Loop, Skills, Harness & Snapshot Eval

Anthropic's production e-commerce and math-formalization agents share a unified architecture: a single-model loop with modular skills, tool calls to existing systems, code-enforced harness rules, and snapshot-based evaluation, enabling scalable, verifiable multi-agent systems.

Agent ArchitectureAnthropicFormal Verification

0 likes · 17 min read

Anthropic's Killer Multi-Agent Blueprint: One Loop, Skills, Harness & Snapshot Eval

AI Engineering

Sep 5, 2026 · Artificial Intelligence

Claude Formally Proves Fermat's Last Theorem in 11 Days with 13M Lines of Lean Code

Anthropic's Claude AI completed the first full formal verification of Fermat's Last Theorem in 11 days, generating over 13 million lines of Lean code and 29,500 intermediate theorems using the Prove2Me platform, with independent verification by the nanoda kernel, signaling a shift in mathematical proof validation.

AnthropicClaude AIFermat's Last Theorem

0 likes · 5 min read

Claude Formally Proves Fermat's Last Theorem in 11 Days with 13M Lines of Lean Code