Claude formalise le théorème de Fermat en onze jours dans Lean

The AI Desk

2026

13 millions de lignes de preuve, une plateforme multi-agents et l'aval de Kevin Buzzard après relecture