Édition · 5 septembre 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é.
Sujet
Mathlib
Claude formalise le théorème de Fermat en onze jours dans Lean
13 millions de lignes de preuve, une plateforme multi-agents et l'aval de Kevin Buzzard après relecture