Edition · September 12, 2026 · 18:33
The AI Desk
Topic
Claude
Claude hijacked to design missiles and cyberattacks
Anthropic details in its most comprehensive report attempts by state and criminal actors to exploit its AI before cutting off their accounts.
Claude formalizes Fermat's theorem in eleven days in Lean
13 million lines of proof, a multi-agent platform, and Kevin Buzzard's endorsement after review