La fin de l'ère de la craie : l'IA commence à prouver les théorèmes à la place des gens

Pendant longtemps, nous avons vécu avec la confortable conviction que les mathématiques étaient le dernier bastion de l'intelligence humaine pure. Nous pardonnions aux modèles de langage leurs erreurs arithmétiques ridicules, considérant que la perspicacité créative dans la démonstration des théorèmes leur était inaccessible par définition. Mais un numéro récent d'Import AI et le projet Numina-Lean-Agent suggèrent sans ambiguïté qu'il est temps d'enlever les lunettes roses. Les mathématiques ne sont plus un havre sûr pour les humains, mais deviennent un champ de bataille pour les algorithmes de vérification formelle.

L'essence des changements réside dans la transition de la simple prédiction du mot suivant au travail dans des environnements logiques stricts comme Lean. Si auparavant un réseau de neurones tentait simplement de deviner la réponse, maintenant Numina-Lean-Agent agit comme un agent qui écrit du code pour vérifier ses hypothèses en temps réel. C'est comme si un étudiant n'écrivait pas seulement la solution d'un problème dans un cahier, mais la vérifiait immédiatement sur un superordinateur qui ne permet pas une seule erreur logique.

Cette approche transforme la recherche mathématique d'une vague intuition dans le brouillard en un processus d'ingénierie ciblé. Cela change fondamentalement les règles du jeu : maintenant la vitesse des découvertes scientifiques est limitée uniquement par la puissance de calcul, et non par le nombre de cerveaux brillants sur la planète.

Cependant, l'automatisation de la science n'est qu'un côté de la médaille. Tandis que les universitaires se réjouissent des nouveaux outils, quelque chose de moins encourageant se produit dans le secteur clandestin de l'économie. Il s'agit de l'industrialisation de l'espionnage informatique.

Si autrefois mener une attaque complexe nécessitait un groupe de pirates informatiques hautement qualifiés, maintenant l'IA permet de mettre ce processus sur un tapis roulant. Les réseaux de neurones se chargent de la routine : recherche de vulnérabilités, rédaction d'exploits et ingénierie sociale à l'échelle industrielle. Cela crée un déséquilibre dangereux dans l'économie de la sécurité.

Les coûts d'attaque s'effondrent, tandis que les coûts de défense continuent d'augmenter. Nous entrons dans une ère où les cyber-guerres sont menées non par des maîtres individuels, mais par d'énormes usines de code automatisées.

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

Qu'est-ce que cela signifie pour nous ? Nous assistons à la cessation de l'IA d'être simplement un « assistant intelligent » pour devenir un participant à part entière à la production du savoir et des menaces. Quand une machine commence à prouver 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 simplement l'automatisation du travail, mais l'automatisation de la logique elle-même. Et si nous n'apprenons pas à contrôler ce processus au 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 impeccable, mais totalement incompréhensible pour notre cerveau biologique.

L'essentiel : Les mathématiques sont devenues officiellement une discipline d'ingénierie, et l'espionnage informatique est devenu un secteur industriel. Sommes-nous prêts pour un monde où l'intelligence humaine n'est plus le moyen le plus rapide de chercher la vérité ?