ENQUÊTE - Il y a encore trois ans, les performances calamiteuses de ChatGPT en mathématiques faisaient l’objet de moqueries. Aujourd’hui, les IA sont capables de résoudre des problèmes de très haut niveau qui étaient sans solution depuis plusieurs décennies, et deviennent des assistants précieux pour les mathématiciens.