L'IA pensait avoir tué les maths (un humain a riposté en 48h)

La déclaration du physicien du MIT Alexander Wisner Gross, "Matt is cooked", a provoqué une polémique mondiale, divisant les mathématiciens en deux camps. Cette controverse a mené à la Déclaration de Leiden sur l'intelligence artificielle et les mathématiques, un texte fondateur sur les règles à respecter. L'IA a récemment fait irruption dans le domaine des mathématiques. Il y a quelques semaines, un modèle d'IA d'OpenAI a résolu un problème de recherche posé en 1946 par Paul Erdös, l'un des mathématiciens les plus prolifiques du 20e siècle. Ce problème, simple à énoncer, consistait à maximiser le nombre de paires de points séparés par la même distance sur un plan. Erdös et la majorité des mathématiciens pensaient qu'une grille carrée était la meilleure configuration. Cependant, le modèle d'OpenAI a montré le contraire en trouvant une famille infinie de configurations utilisant la théorie algébrique des nombres, un domaine inattendu pour ce problème géométrique. Le modèle a trouvé cette solution du premier coup, bien qu'il ne soit pas capable de vérifier sa propre logique, trouvant la bonne réponse environ une fois sur deux lors de relances. Cette solution est décrite comme "moche" par rapport à l'élégance recherchée par les mathématiciens humains. G.H. Hardy, dans "A Mathematician's Apology", affirmait que la beauté est un critère de vérité au même titre que la rigueur logique. Une preuve élégante ne se contente pas de démontrer un résultat, elle révèle pourquoi il est vrai. L'IA, elle, n'a aucune notion de beauté et cherche uniquement ce qui fonctionne, explorant des chemins que les humains n'oseraient pas emprunter par "bon goût". Cette percée a suscité des réactions extrêmes dans le monde académique, certains mathématiciens se sentant "réduits à néant" ou affirmant que "tout est fini". Cependant, quelques heures après la publication d'OpenAI, Will Sawin, un mathématicien de Princeton, a amélioré le résultat de l'IA à la main. L'IA avait trouvé un raccourci sans en mesurer l'efficacité. Sawin a simplifié les calculs de l'IA, obtenant un résultat des milliards de fois meilleur en un seul week-end, démontrant que l'humain peut franchir la porte ouverte par l'IA en courant. La deuxième fissure dans le récit des "maths cuites" est venue de la communauté mathématique elle-même. Le 2 juin 2026, 16 mathématiciens de 15 universités ont publié la Déclaration de Leiden sur l'intelligence artificielle et les mathématiques. Ce texte, endossé par l'Union Mathématique Internationale, affirme que "l'IA menace l'intégrité de la preuve, le système d'attribution des résultats et l'autonomie de la recherche mathématique", soulignant l'intérêt commercial de l'industrie technologique à surestimer les capacités de ses produits. La déclaration, initialement signée par 37 personnes, a rapidement atteint près de 2000 signataires, dont des médaillés Fields comme Peter Scholze et Terence Tao. Ce mouvement disciplinaire sera présenté au Congrès international des mathématiciens à Philadelphie fin juillet. Le 10 juin, le projet First Proof a publié ses premiers résultats officiels, testant l'IA sur de vrais problèmes de recherche conçus par des mathématiciens. Le meilleur modèle d'IA a obtenu l'équivalent d'un 6 ou 7 sur 10, mais les correcteurs ont souligné que les modèles produisent aussi des quantités massives de résultats inutilisables, noyant le brillant dans le bruit. Le tri du signal reste un travail humain. Une question fondamentale est posée : si une machine produit une preuve que personne ne comprend, est-ce encore une preuve ? En 1976, le théorème des quatre couleurs, première preuve majeure par ordinateur, avait été refusé par une partie de la communauté mathématique pour cette raison. Aujourd'hui, la preuve d'OpenAI fait 125 pages et traverse des domaines que très peu de spécialistes maîtrisent individuellement. Un article de Nature du 8 juin, intitulé "Comment l'IA remodèle la découverte en mathématiques et en physique ?", conclut que l'IA ne remplace pas l'intuition humaine, mais reconfigure la manière dont les questions sont posées, explorées et comprises. C'est un outil de recherche puissant, pas un remplaçant. L'IA exploite la littérature mathématique existante pour trouver des conclusions et des preuves à portée de main, reliant des branches que personne n'avait rapprochées. Ce n'est pas de la créativité profonde, mais du combinatoire à grande échelle. La question reste de savoir si l'IA peut aller au-delà, inventer ses propres cadres conceptuels. Les modèles de langage actuels ne semblent pas conçus pour cela. Un éditorial de Nature du 15 juin compare la Déclaration de Leiden à la Déclaration de San Francisco sur l'évolution de la recherche, qui a changé les pratiques scientifiques mondiales. Les mathématiques ne sont pas "cuites". L'IA transformera la pratique mathématique, comme la calculatrice a transformé l'arithmétique. Dans les années 70-80, l'arrivée de la calculatrice avait suscité les mêmes débats. Quarante ans plus tard, l'enseignement s'est déplacé du calcul mental vers la résolution de problèmes, la modélisation et le raisonnement, sans baisse de niveau. La question n'