Edition · September 5, 2026 · 23:05
The AI Desk
The AI Desk
"The AI Desk" suit ce que l’intelligence artificielle change vraiment : modèles, régulation, travail, création et société.
Topic
Lean
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