Un record mathématique battu par l’IA : l’histoire de Julia Stadlmann
Le dernier jour d’août, la mathématicienne Julia Stadlmann, de l’Université de l’Illinois à Urbana-Champaign, a établi un nouveau record dans la quête de la conjecture des jumeaux premiers, qui affirme qu’il existe une infinité de paires de nombres premiers séparés par deux unités (comme 3 et 5 ou 17 et 19). Cette avancée, la première en plus d’une décennie, a rapidement été surpassée par des intelligences artificielles.
Contexte factuel
La conjecture des jumeaux premiers fascine les mathématiciens depuis le XIXe siècle, mais reste non prouvée. En 2013, Yitang Zhang a démontré qu’il existe des écarts de nombres premiers qui se répètent à l’infini, établissant un premier record à moins de 70 millions. En 2014, des efforts collaboratifs ont réduit ce nombre à 246, un record qui a tenu pendant douze ans.
Stadlmann a commencé à travailler sur ce problème il y a deux ans, intégrant des techniques récentes aux travaux de Zhang. En été 2026, elle a réussi à abaisser le record de 246 à 240.
Données ou statistiques
Après la publication de son résultat, des chercheurs de la startup Axiom Math ont intégré ses idées dans une IA, réduisant le record à 212 en trois jours. OpenAI, de son côté, a utilisé son modèle GPT-6 Astra pour établir un nouveau record à 186. Selon le scientifique Sébastien Bubeck, OpenAI ne cherche pas à capturer tous les résultats, mais à « donner du pouvoir aux mathématiciens ».
Conséquence directe
La rapidité avec laquelle ces résultats ont été battus a suscité des inquiétudes parmi les mathématiciens concernant l’impact de l’IA sur la recherche. La communauté s’interroge sur l’avenir de la recherche mathématique lorsque des machines peuvent rapidement rendre obsolète le travail humain.
Source : Science News
