L’IA vient-elle de tuer les mathématiques ?

La transformation brutale des mathématiques par l'IA représente un tournant pour la science. D'autres disciplines feraient bien d'en tirer des leçons.
«Parfois les gens se font une fausse idée des mathématiques et pensent qu’elles seront supplantées par les ordinateurs», déclarait le mathématicien Alain Connes en 2000. Il expliquait alors pourquoi une équipe de mathématiciens de renom offrait une récompense de 1 million de dollars pour la résolution de sept problèmes mathématiques insolubles. Ces «problèmes du Prix du Millénaire», précisait le Dr Connes, «sont totalement inaccessibles aux ordinateurs».
«Parfois les gens se font une fausse idée des mathématiques et pensent qu’elles seront supplantées par les ordinateurs», déclarait le mathématicien Alain Connes en 2000. Il expliquait alors pourquoi une équipe de mathématiciens de renom offrait une récompense de 1 million de dollars pour la résolution de sept problèmes mathématiques insolubles. Ces «problèmes du Prix du Millénaire», précisait le Dr Connes, «sont totalement inaccessibles aux ordinateurs».
«Si rien