Verification Formelle
1 article(s)
→
1 000 agents IA et 30 heures pour vérifier un théorème qui a résisté 350 ans : le coup d’éclat d’Anthropic pour lancer Claude Fable 5.2
📖 Lire sur Vigie24Anthropic a utilisé 1 000 agents IA pour traduire la démonstration du dernier théorème de Fermat dans un langage vérifiable par ordinateur en 30 heures. Cette opération, visant à promouvoir Claude Fable 5.2, illustre les capacités de raisonnement mathématique des nouveaux modèles d'IA.
France
· 10/11/2026 09:34 ·
⚙️ 1 435 tok
Score : 76.9 ⓘ
Notez :👁 1