Claude Fable 5 d'Anthropic réfute une conjecture mathématique vieille de 87 ans avec une petite formule

Un mathématicien Anthropic a utilisé le grand modèle de langage de l'entreprise pour réfuter une conjecture mathématique qui a résisté à la résolution pendant 87 ans, fournissant ainsi l'un des exemples les plus frappants à ce jour de l'intelligence artificielle faisant progresser les mathématiques pures.

Levent Alpöge, mathématicien de la société d'IA Anthropic, a annoncé avoir trouvé un contre-exemple à la conjecture jacobienne, un problème célèbre et de longue date en géométrie algébrique. Il est parvenu à ce résultat en utilisant le modèle Claude Fable 5 d'Anthropic, qui avait été rendu public quelques semaines plus tôt. La découverte, rapportée pour la première fois par ScienceDaily et SciTechDaily et tirée d'un article initialement publié dans The Conversation, a suscité une vague d'enthousiasme dans la communauté mathématique. Pour les lecteurs qui suivent les derniers développements de l’IA, le résultat souligne la rapidité avec laquelle les modèles frontières passent des astuces de salon à un travail scientifique véritablement productif.

Une formule suffisamment petite pour un seul post

Ce qui rend cette avancée si surprenante, c’est sa compacité. Selon SciTechDaily, le contre-exemple est une fonction tridimensionnelle remarquablement simple – une formule suffisamment courte pour tenir dans un seul message sur X. Le contre-exemple assisté par l'IA réfute la conjecture jacobienne au-dessus de deux dimensions, tout en laissant ouverte la forme bidimensionnelle originale de la conjecture.

Cette nuance est importante. Le résultat ne règle pas tout le problème, qui perdure depuis le XIXe siècle. Au lieu de cela, cela expose une limite inattendue : la version généralisée de la conjecture en dimension supérieure est fausse, même si le cas qui préoccupait le plus les mathématiciens à l’origine reste non résolu.

L'histoire derrière le problème

La conjecture jacobienne concerne les fonctions polynomiales – des machines mathématiques qui saisissent des nombres et produisent de nouveaux nombres en suivant une règle particulière. Dans ce contexte, les nombres peuvent représenter des points dans un espace, comme des coordonnées sur une carte. Une fonction prend ces coordonnées et les transforme, déplaçant les points vers différentes positions. Les mathématiciens peuvent examiner la fluidité avec laquelle une fonction réorganise l'espace en calculant son déterminant jacobien. La conjecture demande essentiellement : si ce déterminant est une constante non nulle, la fonction a-t-elle nécessairement un inverse polynomial ?

Le problème a une longue histoire. Il a été énoncé pour la première fois par le mathématicien tchèque Ludwig Kraus en 1884, puis généralisé à un certain nombre de dimensions par le mathématicien allemand Ott-Heinrich Keller en 1939. Il a été considéré comme si important que le médaillé Fields Stephen Smale l'a inclus dans sa liste influente de 1998 des problèmes mathématiques du siècle prochain.

Au cours de sa longue vie, la conjecture a suscité de nombreuses preuves revendiquées, notamment celles de Beniamino Segre et de Wolfgang Gröbner, deux célèbres mathématiciens du XXe siècle. Aucun n’a tenu. Le fait qu’un contre-exemple ait maintenant fait surface – avec l’aide d’un modèle de type chatbot – illustre à quel point l’IA s’avère aussi utile pour découvrir des objets mathématiques inattendus que pour construire des preuves.

Pourquoi le cas des dimensions supérieures a échoué

La distinction clé se situe entre deux et trois dimensions (ou plus). La conjecture jacobienne bidimensionnelle originale, la version qui occupe les géomètres algébriques depuis des générations, est toujours ouverte. Ce qu’Alpöge et Claude Fable 5 ont trouvé est un contre-exemple en trois dimensions, qui suffit à renverser la conjecture généralisée formulée par Keller en 1939.

C’est un résultat significatif en soi. De nombreux chercheurs soupçonnaient que si la conjecture était vraie, elle le serait partout. Un contre-exemple clair en dimension trois rétrécit l’espace des possibilités et recadre la question restante : les deux dimensions sont-elles véritablement spéciales, ou y a-t-il également un contre-exemple qui s’y cache ?

La brièveté du contre-exemple est en soi remarquable. Fortune a rapporté que les mathématiciens sont aux prises avec un « changement très rapide et très inquiétant » alors que les outils d'IA résolvent les uns après les autres des problèmes vieux d'un siècle. Une petite formule pour renverser un problème approuvée par un médaillé Fields est exactement le genre de développement qui alimente ce malaise – et cet enthousiasme.

Le rôle croissant de l'IA en mathématiques

Les mathématiciens travaillant avec de grands modèles de langage ont récemment produit plusieurs résultats notables, et le contre-exemple de la conjecture jacobienne se démarque de nombreuses avancées antérieures. Plutôt que de procéder à une recherche par force brute, la collaboration entre Alpöge et Claude Fable 5 a produit une réponse concise et vérifiable par l'homme – le genre de résultat que les mathématiciens peuvent vérifier et sur lequel s'appuyer.

La découverte met également en évidence un schéma plus large. Les modèles frontières sont de plus en plus capables d’explorer de vastes espaces combinatoires et de proposer des objets candidats sur lesquels un humain ne pourrait jamais tomber par hasard. Lorsque ces candidats sont suffisamment petits pour être vérifiés manuellement, la combinaison de l’étendue de l’IA et du jugement humain devient puissante.

Ce que cela signifie pour l'avenir

Ce que cela signifie pour l’avenir des mathématiques – et pour les mathématiciens humains – reste à voir, comme l’a noté SciTechDaily. Le contre-exemple ne rend pas les mathématiciens obsolètes ; Au contraire, cela aiguise la question ouverte et donne aux chercheurs une nouvelle cible précise. Mais cela renforce le fait que l’IA est allée au-delà du résumé des manuels scolaires et s’est placée au cœur du travail mathématique créatif.

Le résultat est également une validation de haut niveau pour Anthropic. Claude Fable 5, rendu public quelques semaines seulement avant la découverte, a été utilisé par l'un des mathématiciens de l'entreprise pour résoudre un problème qui avait contrecarré certains des plus grands esprits du siècle dernier. Pour une entreprise qui s’empresse de démontrer que ses modèles peuvent raisonner à la frontière, peu d’approbations sont plus crédibles qu’une conjecture de 1939 qui se réalise enfin.

Gardez une longueur d'avance sur l'IA

Le rythme des découvertes basées sur l’IA s’accélère dans les domaines scientifiques, mathématiques et industriels. Ajoutez notre bureau dernières actualités sur l'IA à vos favoris pour une couverture continue des versions de modèles, des avancées en matière de recherche et des changements de politique.

Lire plus d'actualités sur l'IA →