Pendant la finale de la Coupe du monde de foot, une IA d’Anthropic a résolu la conjecture jacobienne, sur laquelle des générations de spécialistes de géométrie algébrique se cassaient les dents depuis 1939. C’est la deuxième fois cette année qu’un problème aussi costaud a trouvé une solution avec l’IA.