La fin de l'ère de la craie : l'IA commence à démontrer des théorèmes à la place des humains

Pendant longtemps, nous avons vécu avec la conviction rassurante que les mathématiques étaient le dernier bastion de l'intelligence humaine pure. Nous pardonnions aux modèles de langage leurs erreurs grotesques en arithmétique, persuadés que l'étincelle créative nécessaire pour démontrer des théorèmes leur était inaccessible par définition. Mais le dernier numéro d'Import AI et le projet Numina-Lean-Agent le disent sans détour : il est temps d'ôter nos lunettes roses. Les mathématiques ne sont plus un havre de paix pour les humains ; elles deviennent un champ de bataille pour les algorithmes de formal verification.

Le changement tient au passage de la simple prédiction du mot suivant au travail dans des environnements logiques stricts comme Lean. Là où le réseau de neurones tentait autrefois de deviner la réponse, Numina-Lean-Agent agit désormais comme un agent qui écrit du code pour vérifier ses hypothèses en temps réel. C'est comme si un écolier, au lieu de rédiger la solution d'un problème dans son cahier, la faisait aussitôt vérifier par un supercalculateur qui ne tolère pas la moindre erreur logique.

Cette approche transforme la recherche mathématique, jadis errance intuitive dans le brouillard, en processus d'ingénierie ciblé. Cela change radicalement les règles du jeu : la vitesse des découvertes scientifiques n'est plus limitée que par la puissance de calcul, et non par le nombre d'esprits brillants sur la planète.

Mais l'automatisation de la science n'est qu'une face de la médaille. Pendant que les universitaires se réjouissent de ces nouveaux outils, il se passe quelque chose de bien moins enthousiasmant dans l'économie de l'ombre : l'industrialisation du cyberespionnage. Si une attaque sophistiquée exigeait autrefois une équipe de hackers hautement qualifiés, l'IA permet désormais de la mettre à la chaîne.

Les réseaux de neurones prennent en charge la routine : recherche de vulnérabilités, écriture d'exploits et ingénierie sociale à l'échelle industrielle. Cela crée un déséquilibre dangereux dans l'économie de la sécurité. Le coût de l'attaque chute rapidement, tandis que celui de la défense continue de grimper.

Nous entrons dans une ère où les cyberguerres ne sont plus menées par des artisans isolés, mais par d'immenses usines automatisées de code.

Le paysage économique de l'industrie de l'IA commence lui aussi à se cristalliser, avec des gagnants et des perdants nets. Nous assistons à un schéma classique de concentration du capital : ceux qui possèdent d'immenses clusters de GPU dictent les règles. Mais, ironie du sort, la communauté open source ne baisse pas les bras. Des projets comme Numina montrent qu'avec la bonne approche des données et de l'architecture, on peut atteindre des résultats comparables à ceux des géants fermés. La seule question est de savoir combien de temps cette parité durera, avant que le coût d'entraînement des modèles de prochaine génération devienne inabordable, même pour les plus grands consortiums.

Que cela signifie-t-il pour nous ? Nous voyons l'IA cesser d'être un simple « assistant intelligent » pour devenir un acteur à part entière de la production de connaissances et de menaces. Quand une machine se met à démontrer des théorèmes qu'un humain ne peut pas vérifier sans l'aide d'une autre machine, nous entrons dans une nouvelle phase du développement de la civilisation.

Ce n'est plus seulement l'automatisation du travail, c'est l'automatisation de la logique elle-même. Et si nous n'apprenons pas à contrôler ce processus à un niveau fondamental, nous risquons de nous retrouver dans un monde où toutes les décisions importantes sont prises dans des « boîtes noires » dont la logique est irréprochable, mais totalement insaisissable pour notre cerveau biologique.

L'essentiel : les mathématiques sont officiellement devenues une discipline d'ingénierie, et le cyberespionnage, une branche industrielle. Sommes-nous prêts pour un monde où l'intelligence humaine n'est plus le moyen le plus rapide de trouver la vérité ?