Les mathématiques ne sont plus réservées aux humains : un prodige de 17 ans et l'IA résolvent l'insoluble

Imaginez un adolescent typique de 17 ans. À cet âge, on pense d'ordinaire aux examens, aux jeux vidéo ou aux projets de vacances. Mais dans un monde où l'intelligence artificielle devient un outil accessible à tous, les règles du jeu pour les « enfants prodiges » ont brutalement changé. L'annonce qu'un lycéen ordinaire a réussi à résoudre, grâce à la puissance de l'IA, un problème mathématique complexe qui résistait aux professionnels depuis des années a secoué la communauté scientifique. Et il ne s'agit pas d'une énième histoire de devoirs faits avec ChatGPT. C'est un changement fondamental dans la manière dont l'humanité fera ses découvertes scientifiques durant la prochaine décennie.

Pendant longtemps, les mathématiques ont passé pour le dernier bastion à l'abri des réseaux de neurones. Contrairement à la rédaction d'un essai ou à la création d'un tableau, on ne peut pas ici « se tromper un peu ». Une démonstration mathématique est soit exacte à cent pour cent, soit totalement inutile.

Les grands modèles de langage ont longtemps souffert de ce qu'on appelle les hallucinations, en présentant comme vérité des absurdités d'apparence plausible. Mais l'intégration des réseaux de neurones avec des systèmes de vérification formelle comme Lean a ouvert une nouvelle ère. C'est à la jonction de la technologie et de l'intuition humaine qu'est survenue la percée qui a poussé Terence Tao lui-même, surnommé le « Mozart des mathématiques », à publier un commentaire enthousiaste.

Pourquoi est-ce important maintenant ? Nous sommes au point de bascule entre les « perroquets stochastiques » et des systèmes capables de raisonnement profond. Quand Jeff Dean, de Google, applaudit un lycéen, ce n'est pas par politesse. Pour des géants comme DeepMind, c'est la confirmation de leur hypothèse : l'IA peut être bien plus qu'un assistant, un partenaire à part entière pour explorer des territoires inconnus de la science. C'est la démocratisation du génie. Pour défier les institutions académiques, il n'est plus nécessaire d'attendre des décennies son tour en laboratoire : il suffit d'un esprit vif, d'un accès à une API et de savoir bien poser son problème à l'algorithme.

Le contexte de cet événement s'enracine dans un long affrontement entre l'intuition humaine et la puissance de calcul. Autrefois, la démonstration automatique de théorèmes était l'apanage d'un petit cercle de chercheurs et exigeait d'écrire à la main un code d'une extrême complexité. Les outils actuels permettent d'utiliser le langage naturel pour guider la recherche de solutions. Ici, le lycéen a joué le rôle d'architecte et de stratège qui comprenait la structure du problème, tandis que l'IA a pris en charge le travail routinier, mais colossalement complexe, d'exploration et de vérification des chaînes logiques. C'est le « centaure » dont parlait Garry Kasparov à propos des échecs, mais à l'échelle de toute la science mondiale.

Que signifie cela pour l'industrie dans son ensemble ? D'abord, le ticket d'entrée dans la haute science baisse rapidement. Si un garçon de 17 ans peut attirer l'attention des plus grands esprits de la planète, la hiérarchie traditionnelle « élève-professeur » commence à se fissurer. Ensuite, on assiste à la naissance d'un nouveau marché d'outils pour les chercheurs. Ce ne sont plus de simples éditeurs de texte, mais de véritables accélérateurs cognitifs. Les entreprises qui créeront les premières des interfaces pratiques pour faire dialoguer l'humain et les moteurs logiques d'IA deviendront les nouvelles championnes du marché, laissant derrière elles celles qui se contentent de fabriquer des « chatbots intelligents ».

L'essentiel : l'IA a définitivement cessé d'être un jouet à produire du contenu pour devenir un outil de recherche de la vérité. Si des lycéens se mettent à résoudre des problèmes dignes de la médaille Fields, le paysage scientifique sera méconnaissable dans cinq ans. Sommes-nous prêts pour un monde où les découvertes se font à la vitesse d'un clic ?