L'IA bouscule les mathématiques et les mathématiciens veulent fixer des règles

La Déclaration de Leiden sur l'intelligence artificielle et les mathématiques, issue d'un atelier aux Pays-Bas et soutenue par l'Union mathématique internationale, ne rejette pas l'IA mais appelle à encadrer son usage. Les mathématiciens craignent que les modèles ne puissent pas fournir des démonstrations véritablement compréhensibles et vérifiables : une preuve mathématique ne se réduit pas à une réponse correcte, elle doit pouvoir être lue, validée et intégrée dans le corpus des connaissances.

Le texte soulève plusieurs enjeux concrets : le contrôle des outils par des entreprises privées crée un déséquilibre avec les laboratoires universitaires ; l'absence de citation des sources utilisées par l'IA efface la contribution des chercheurs ; enfin, la rapidité des annonces publiques devance souvent la vérification rigoureuse par la communauté. Pour préserver l'autonomie intellectuelle des mathématiques, la déclaration propose notamment de rendre obligatoire la divulgation de l'usage de l'IA, de renforcer l'évaluation par les pairs et d'investir dans des infrastructures publiques de calcul.