Résolution par IA du contre-exemple à la conjecture jacobienne

Le 21 juillet 2026, Fortune a rapporté qu’un modèle d’intelligence artificielle a produit un contre-exemple lié à la conjecture jacobienne. L’annonce publique a été faite par Levant Alpöge, mathématicien et employé d’Anthropic. Selon l’article, le résultat a été vérifié rapidement par des mathématiciens, dont Kevin Buzzard à Londres. Fortune le présente comme un nouvel épisode d’une série de percées mathématiques attribuées aux modèles depuis 2025.

Dans le récit AGI, les mathématiques jouent un rôle particulier. Elles sont vues comme un test exigeant de raisonnement abstrait, de planification symbolique et de vérification. L’article relie ce résultat à d’autres avancées récentes, dont une disproof annoncée chez OpenAI sur une conjecture d’Erdős. Il mentionne aussi la Leiden Declaration on Artificial Intelligence and Mathematics, publiée en juin, qui demande des garde-fous sur la transparence, l’attribution et l’évaluation par les pairs.

Ce type d’épisode suggère que les modèles progressent dans des tâches qui dépassent la restitution de connaissances. Mais il ne dit pas encore si cette progression est large, stable et transférable hors de quelques domaines très structurés. Il souligne aussi une tension croissante. Plus les modèles deviennent utiles pour produire des objets mathématiques nouveaux, plus les communautés savantes doivent décider comment vérifier, attribuer et intégrer ces résultats sans brouiller les normes de preuve et de responsabilité. La question reste alors ouverte: un succès ponctuel en recherche formelle rapproche-t-il d’une intelligence générale, ou redéfinit-il surtout certains métiers intellectuels avant d’unifier les capacités ?