Terence Tao : le mème qui redéfinit le débat sur les mathématiques à l’ère de l’IA
Alors que les géants de la tech célèbrent chaque prouesse algorithmique comme une victoire historique, le mathématicien Terence Tao utilise l’ironie d’un mème pour recadrer le débat : générer une démonstration brute avec une IA n’est que la toute première marche de la science.
C’est une image que l’on pourrait croiser sur des plateformes comme 9GAG. On y voit un sportif s’exciter sur sa supposée victoire, mordant dans sa médaille et aspergeant l’auditoire de champagne, tout en étant loin d’être sur la première marche du podium. Dans la version adaptée par Tao, le champion représente une preuve générée par une IA, tandis que les autres marches du podium sont occupées par des résultats plus significatifs.
Cette image détourne le célèbre mème « Bronze Medal » et a été imaginée par Terence Tao, médaille Fields 2006, souvent considéré comme le « Mozart des maths ». Publiée le 10 août sur son compte Mastodon, elle illustre un point discuté lors du Congrès international des mathématiciens à Philadelphie.
Dans ce mème, la preuve générée par IA ne reçoit qu’une médaille de bronze, alors que sont mises en avant d’autres réalisations : la preuve vérifiée par Lean, la prépublication rédigée, l’article publié et le chapitre de manuel scolaire.
Tao utilise ce mème pour re-hiérarchiser les étapes de la recherche en mathématiques, soulignant que :
- La preuve générée par IA : un résultat brut, souvent illisible.
- La preuve vérifiée par Lean : certifiée correcte par un logiciel, mais restée sous forme de code.
- La prépublication rédigée : une version claire et structurée partagée avec des pairs.
- L’article publié : relu et validé par un comité scientifique.
- Le chapitre de manuel scolaire : la victoire ultime, assimilée et enseignée.
Ce débat s’inscrit dans un contexte où la Silicon Valley célèbre des avancées en mathématiques, en franchissant des étapes initiales mais cruciales. Récemment, OpenAI a annoncé avoir résolu dix problèmes ouverts majeurs, mais ces résultats ne sont que le début d’un long chemin.
Le 10 août, Anthropic a également annoncé des avancées sur l’hypothèse de Riemann, un problème mathématique non résolu depuis 1859. Bien que le modèle Claude ait amélioré la proportion de zéros garantis sur la ligne critique, cela ne constitue pas une résolution définitive.
Tao souligne qu’il est essentiel de ne pas se laisser emporter par des résultats bruts, qui, bien que spectaculaires, ne représentent pas des preuves scientifiques abouties.
Il met en avant le besoin d’un « test de l’oral » pour les revues scientifiques, suggérant que toute démonstration qui ne peut être expliquée clairement par un humain devrait être considérée comme incomplète. Ce cadre vise à garantir que les découvertes soient non seulement vérifiées, mais également accessibles et compréhensibles.
En conclusion, Terence Tao ne rejette pas l’intelligence artificielle, mais appelle à une redéfinition de son rôle dans la recherche mathématique, insistant sur l’importance de la transmission et de l’intégration des connaissances.
Source : Numerama
