Un article publié par Science revient sur les circonstances qui ont entouré l'annonce d'une percée mathématique attribuée à un système d'intelligence artificielle. Ce qui devait être présenté comme une démonstration de la capacité des modèles à produire des résultats mathématiques originaux s'est rapidement transformé en un débat plus large sur la rigueur scientifique entourant ces annonces.
Selon le récit de Science, la controverse est née après que des mathématiciens ont examiné de plus près les affirmations initiales. Plusieurs chercheurs ont fait valoir que la contribution du modèle avait été surestimée, soit parce que certains résultats étaient déjà connus dans la littérature existante, soit parce que le rôle des chercheurs humains dans la formulation et la vérification des preuves avait été minimisé dans la communication publique. Ce type de désaccord n'est pas nouveau dans le domaine de l'IA appliquée aux mathématiques, où la frontière entre "découverte" et "recherche documentaire assistée" peut être difficile à établir.
L'épisode met en lumière une tension structurelle : les laboratoires d'IA ont un intérêt commercial et médiatique évident à présenter leurs systèmes comme capables de raisonnement mathématique autonome, tandis que la communauté mathématique exige des standards de vérification stricts, souvent lents, avant de valider une preuve comme originale et correcte. Cette asymétrie de rythme et d'incitations alimente régulièrement des désaccords similaires, qu'il s'agisse de problèmes ouverts, de conjectures ou de résultats de compétitions.
Au-delà du cas particulier, cette controverse illustre un enjeu de fond pour l'ensemble du secteur : comment établir des protocoles de vérification indépendants et transparents pour les résultats scientifiques produits ou assistés par l'IA. Sans normes partagées, chaque nouvelle annonce risque de rouvrir le même débat sur la part réelle de contribution algorithmique face au travail humain de vérification et de contextualisation.