L'irruption de l'IA ébranle le métier de chercheur en mathématiques
La résolution fulgurante d'énigmes historiques par des machines plonge la communauté dans le désarroi, menaçant la place de l'humain et le sens même de la recherche fondamentale.
- Le Monde Analyse
L'inintelligibilité des preuves massives par IA prive les mathématiciens de la compréhension du raisonnement.
« A cet égard les 13 millions de lignes de Lean sont à mettre en regard des 130 pages rédigées par Wiles et de la conviction de Fermat lui-même de l’existence d’une preuve « merveilleusement simple ». »
Son argument La vérification formelle par Lean implique une complexité de modélisation telle qu'un humain ne peut plus vérifier directement le code produit par l'IA.
« les 13 millions de lignes de code Lean n’auraient pas pu être vérifiées par un être humain. » - Le Monde Analyse
La percée d'OpenAI plonge la communauté mathématique dans une détresse psychologique et émotionnelle inédite.
« Pourtant, depuis le 8 septembre, l’annonce d’une percée en mathématiques divise profondément la communauté de la reine des sciences et génère des sentiments violents et inédits : colère, dépression, tristesse, inquiétude, nostalgie… »
Son argument L'avancée scientifique aurait dû être une réjouissance collective mais produit l'effet inverse sur la discipline.
« L’événement aurait pu être une fête, une fête de la science, comme il en arrive lorsque de grandes découvertes sont faites. » - Mediapart Analyse
L'irruption de l'IA provoque un clivage existentiel sur les finalités de la recherche mathématique.
« Pour les scientifiques, deux visions du sens et des ambitions de leur discipline s’affrontent. »