Plus de 130 mathématiciens du monde entier ont signé début juin 2026 la déclaration de Leyde sur l’intelligence artificielle et les mathématiques (Leiden Declaration on Artificial Intelligence and Mathematics), lançant ainsi un avertissement collectif sur l’impact de l’IA dans cette discipline. Issu d’une conférence tenue à l’université de Leyde en septembre 2025, le texte a été rédigé sur huit mois et reçoit le soutien de l’Union mathématique internationale (IMU). La déclaration souligne que les preuves générées par l’IA, bien que plausibles, peuvent contenir des erreurs difficiles à déceler, menaçant la vérifiabilité des résultats mathématiques. Elle dénonce également la captation massive des travaux des mathématiciens par l’IA sans mention de leur nom, ce qui érode la tradition d’attribution académique, ainsi que l’influence croissante des entreprises qui utilisent les mathématiques pour promouvoir leurs produits d’IA et orientent insidieusement l’autonomie de la recherche.
La déclaration n’appelle pas à interdire l’IA, mais propose un cadre en trois niveaux : les chercheuses et chercheurs doivent déclarer leur recours à l’IA et assumer la responsabilité de l’exactitude des résultats ; les institutions académiques et les organisations professionnelles doivent adopter des politiques garantissant l’évaluation par les pairs et la transparence ; les décideurs politiques doivent financer des infrastructures publiques d’IA et soutenir la science ouverte. La déclaration insiste particulièrement sur l’impact subi par les mathématiciens en début de carrière et les étudiants, et prévient que sans intervention, la santé à long terme de la discipline est menacée. Ce texte a été soumis à l’ordre du jour du prochain Congrès international des mathématiciens (ICM) dans l’espoir de susciter une réponse institutionnelle plus large.