La Brocante du Web 2026 - 24/08 au 6/09

Voici une nouvelle sélection de liens intéressants. Bonne lecture ! IA Anthropic a utilisé Claude pour formaliser la preuve du dernier théorème de Fermat en Lean, un langage de preuve vérifiable par ordinateur. Un travail estimé à plusieurs années par les mathématiciens, bouclé en 11 jours, avec à la clé 13 millions de lignes de code et 29 500 théorèmes intermédiaires démontrés. Anthropic uses Cla