Présentation du problème

Deux développements majeurs sont en cours : les systèmes d'intelligence artificielle (IA) commencent à produire des mathématiques de niveau recherche, tandis que les États-Unis affaiblissent le pipeline qui produit des humains capables de comprendre ce que ces systèmes font. Cet article soutient que, pris ensemble, ces développements constituent une erreur stratégique.

Mathématiques et IA

La capacité mathématique, qui est la capacité formée pour vérifier, interpréter et remettre en question les raisonnements mathématiques, n'est pas un sous-produit de la production de théorèmes mais une forme d'infrastructure, construite sur des générations par des institutions qui ne peuvent pas être reconstituées à la demande. L'article cite l'exemple de la preuve automatique en mai 2026 d'une conjecture d'Erdős sur le problème de la distance unitaire planaire, qui montre les capacités des systèmes d'IA en mathématiques.

Implications et limites

Il est proposé de traiter la capacité mathématique comme un atout stratégique au même niveau que la capacité des semi-conducteurs. De plus, il est suggéré que les systèmes d'IA qui effectuent des raisonnements conséquents soient tenus de exposer leurs revendications critiques de décision sous forme formelle et vérifiable par machine, convertissant une partie du raisonnement de l'IA de la persuasion opaque en structure auditable.

Conclusion et recommandations

En conclusion, l'article met en évidence l'importance de la capacité mathématique et la nécessité de la préserver et de la développer. Il est essentiel de prendre des mesures pour garantir que les systèmes d'IA soient conçus de manière à être transparents et auditable, et que les mathématiciens et les informaticiens travaillent ensemble pour développer des systèmes d'IA qui soient à la fois puissants et compréhensibles.

Exemple de code pour la preuve automatique :
   # Importation des bibliothèques nécessaires
   import numpy as np
   # Définition des variables et des fonctions
   def distance_unitaire(x, y):
       return np.sqrt(x**2 + y**2)
   # Preuve automatique de la conjecture d'Erdős
   def preuve_erdos():
       # Code de la preuve
       pass