Un mathématicien d'Harvard a utilisé l'intelligence artificielle pour réfuter un problème d'algèbre de longue date que les experts tentaient de démontrer depuis des décennies. Levent Alpöge a annoncé la découverte sur les réseaux sociaux le 19 juillet avec un court contre-exemple.
Alpöge a publié sur X un contre-exemple mathématique de 216 caractères, démontrant que la conjecture jacobienne est fausse. La conjecture, proposée par Ott-Heinrich Keller en 1939, figurait également sur une liste des problèmes majeurs non résolus compilée par Stephen Smale en 1998. Les travaux ont impliqué Claude Fable 5, un modèle d'IA d'Anthropic. Alpöge a crédité le système dans sa publication pour son aide lors de la finale de la Coupe du monde. Abhishek Saha, de l'Université Queen Mary de Londres, a qualifié ce résultat de plus grande conjecture jamais abordée avec une contribution significative de l'IA. Il a noté que le contre-exemple fonctionne pour trois variables, bien qu'une version à deux variables puisse encore tenir. Chris Bowman-Scargill, de l'Université de York, et Ivan Fesenko, de l'Université Westlake, ont déclaré que ce développement souligne le rôle croissant de l'IA en mathématiques tout en insistant sur le fait que l'intuition humaine demeure essentielle pour construire de nouvelles théories.