The Proof Desk

Technology reviews & practical guides

Anthropic's Claude Fable 5.2 cuts API prices 20% and formalizes Fermat's Last Theorem in 30 hours | The Proof Desk