La crise de l'IA en mathématiques
Dans un entretien récent du podcast Decoder de The Verge, le journaliste spécialisé en intelligence artificielle Robert Hart, basé à Londres, revient sur la crise existentielle que traverse actuellement la communauté mathématique face aux progrès de l'IA. Le déclencheur est la publication par OpenAI d'un ensemble de solutions à des problèmes mathématiques non résolus depuis longtemps, une annonce qui a provoqué un vif débat chez des mathématiciens de haut niveau, plusieurs d'entre eux ayant confié leurs inquiétudes à Robert Hart. Le paradoxe est frappant : les mêmes modèles d'IA qui échouent encore sur des tâches élémentaires, comme compter le nombre de lettres R dans le mot strawberry, connaître le jour de la semaine ou lire l'heure (un problème documenté par la journaliste Elissa Welle à propos de ChatGPT), deviennent capables de résoudre des problèmes de mathématiques avancées de niveau professionnel. Cette bascule s'est produite en six mois à un an selon Hart, qui la compare à la crise vécue depuis environ cinq ans dans le développement logiciel, mais condensée ici sur une période bien plus courte.
Résumé et traduction réalisés par Le Fil IA à partir de The Verge AI. Lire l'article original →
Cette évolution soulève des questions concrètes pour l'avenir de la discipline. Si des modèles d'IA peuvent désormais résoudre des problèmes mathématiques ouverts, cela suggère que les laboratoires pourraient transférer ces capacités de raisonnement abstrait vers d'autres domaines scientifiques ou techniques, un enjeu stratégique pour des entreprises comme OpenAI. Cela interroge aussi l'utilité des bourses de recherche et des programmes universitaires formant de nouvelles générations de mathématiciens : à quoi bon financer des chercheurs humains pour identifier de nouveaux problèmes si des modèles de pointe peuvent répondre aux questions encore en suspens ? Certains mathématiciens interrogés par Hart se demandent même si cette agitation autour des mathématiques ne relève pas avant tout d'un exercice marketing des grands laboratoires d'IA, peu préoccupés par le sort de l'une des disciplines académiques les plus anciennes et fondamentales.
Le malaise s'explique en partie par la nature même des mathématiques avancées, qui reposent moins sur le calcul brut que sur le raisonnement abstrait, au point que de nombreux articles de recherche en mathématiques ne contiennent presque aucun chiffre. C'est précisément sur ce terrain du raisonnement que les modèles récents ont progressé le plus vite, tout en restant défaillants sur des tâches de calcul basique, un décalage qui alimente autant la fascination que la méfiance dans la communauté. Cette trajectoire fait écho à ce qu'a connu le développement logiciel, confronté depuis plusieurs années à une automatisation croissante de tâches autrefois réservées aux ingénieurs humains. Le débat lancé par la publication d'OpenAI et relayé par The Verge illustre ainsi une tension plus large entre les avancées spectaculaires des laboratoires d'IA et l'incertitude persistante quant à la place que ces outils laisseront aux chercheurs humains, en mathématiques comme dans d'autres champs scientifiques.
Pas d'impact direct sur la France/UE