Claude Fable 5.2 coordonne 1 000 agents d’IA pour formaliser le dernier théorème de Fermat en 28,7 heures
Le 9 novembre 2026, Anthropic a publié sur son blog officiel consacré à l’ingénierie une expérience multi-agents : 1 000 agents Claude Fable 5.2 ont collaboré pendant 28,7 heures pour formaliser le dernier théorème de Fermat, et la preuve obtenue a passé la vérification du noyau officiel de Lean. Deux mois plus tôt, la première…