L'IA Claude d'Anthropic réfute une conjecture mathématique vieille de 87 ans

Claude 5, modèle d'Anthropic, a produit un contre-exemple de 216 caractères invalidant la conjecture jacobienne. Cette conjecture, ouverte depuis 1939, résistait aux mathématiciens malgré des tentatives de résolution. La découverte pourrait relancer les recherches en algèbre computationnelle et en intelligence artificielle.

Pourquoi ça compteCette découverte marque une avancée majeure dans l'utilisation de l'IA pour résoudre des problèmes mathématiques complexes, illustrant le potentiel des modèles d'IA dans la recherche théorique. Elle pourrait influencer les futures méthodes de résolution de conjectures en mathématiques.