leadership2 distinct publishers
Anthropic put its Fermat proof's correctness check inside the default build target
The build fails unless the theorem rests on exactly Lean's three standard axioms, and an independent kernel written in Rust re-checked more than a million declarations. The eleven-day timeline rests on Anthropic's own account.
Reality
- Evidence84
- Adoption22
- Hype gap+12
- Incentives76