Un mathématicien d'Anthropic a utilisé l'IA Claude pour réfuter la conjecture de Jacobi, un problème qui avait déconcerté les chercheurs pendant 87 ans. Le résultat, confirmé cette semaine, a des implications immédiates pour les systèmes cryptographiques qui reposent sur la difficulté des équations polynomiales.
Le problème vieux de 87 ans
La conjecture de Jacobi, formulée pour la première fois en 1939, demande si une application polynomiale avec un déterminant jacobien non nul constant doit avoir une inverse polynomiale. Pendant des décennies, les mathématiciens pensaient qu'elle était vraie, mais personne n'a pu la prouver. La conjecture se trouvait dans la même catégorie que d'autres problèmes non résolus célèbres — largement supposée mais jamais établie.
Le mathématicien d'Anthropic, dont le nom n'a pas été divulgué, s'est tourné vers l'IA Claude pour explorer des contre-exemples potentiels. L'IA a aidé à construire une application polynomiale spécifique qui viole les conditions de la conjecture, la réfutant effectivement. Les travaux ont été vérifiés par des mathématiciens indépendants ce mois-ci.
Comment Claude a changé la donne
Ce n'est pas la première fois que l'IA aide à résoudre un problème mathématique, mais c'est l'un des plus significatifs. La conjecture de Jacobi touche à la géométrie algébrique et à l'algèbre polynomiale — des domaines où l'intuition humaine a longtemps été le seul outil. Claude n'a pas simplement effectué une recherche par force brute ; il a généré des applications candidates, puis a aidé à raisonner sur la structure algébrique.
Le mathématicien a confié à ses collègues que sans Claude, le contre-exemple aurait pris des années à trouver, voire jamais. La capacité de l'IA à explorer de vastes espaces combinatoires et à suggérer des motifs non évidents a été essentielle.
Les systèmes cryptographiques dans le viseur
La réfutation soulève des questions sur le rôle de l'IA dans les systèmes cryptographiques. De nombreux schémas de cryptographie post-quantique, en particulier ceux basés sur des polynômes multivariés, supposent que certains problèmes polynomiaux sont difficiles. Si une IA peut réfuter une conjecture fondamentale comme celle de Jacobi, elle pourrait également trouver des faiblesses dans ces hypothèses.
Les cryptographes réexaminent désormais les marges de sécurité des algorithmes qui reposent sur l'inversion polynomiale ou des problèmes connexes. Le timing n'est pas idéal — le National Institute of Standards and Technology finalise encore ses normes post-quantiques, et tout doute sur les mathématiques sous-jacentes pourrait retarder leur adoption.
Ce que dit la communauté mathématique
Les réactions sont mitigées. Certains mathématiciens voient la réfutation comme un triomphe de la collaboration humain-IA. D'autres craignent que l'IA ne déstabilise des domaines bâtis sur des conjectures non prouvées. La conjecture de Jacobi n'a jamais été une primitive cryptographique directe, mais sa réfutation montre que l'IA peut bouleverser des croyances de longue date.
Anthropic n'a pas commenté la publication éventuelle de la preuve complète ou du contre-exemple généré par l'IA. La communauté cryptographique observe attentivement — et attend la prochaine surprise.
