• Accueil »
  • Activités »
  • IA
    • Ressources autour de l’IA

    Activités

  • Séminaires et événements
  • Thèses soutenues
  • Habilitations
  • Partenariats entreprises
  • Grand public
  • Parité
  • IA

    • Une sélection de ressources sur l’usage de l’intelligence artificielle en mathématiques, dans la recherche et dans l’enseignement supérieur.

    Cadre institutionnel et bonnes pratiques

    Université Paris-Saclay — Charte d’usage de l’IA générative
    La charte de l’Université Paris-Saclay consacrée à l’usage responsable de l’intelligence artificielle générative dans l’enseignement, la recherche et les activités académiques.
    https://www.dataia.eu/sites/default/files/Charte%20d'usage%20de%20l'IA%20ge%CC%81ne%CC%81rative%20UP%20Saclay%20-%202025.pdf

    Déclaration de Leiden sur l’IA et les mathématiques
    Une déclaration consacrée aux principes, aux valeurs et aux pratiques qui devraient accompagner l’usage de l’intelligence artificielle au sein de la communauté mathématique.
    https://leidendeclaration.ai/

    IA et recherche mathématique

    Proofs and Prompts
    Un blog de la communauté mathématique consacré à l’IA et aux transformations qu’elle entraîne dans la recherche et la pratique des mathématiques.
    https://proofsandprompts.com/

    David Bessis — « The Fall of the Theorem Economy »
    Un essai sur la place du théorème dans l’organisation de la recherche mathématique et sur la manière dont les progrès de l’IA pourraient transformer cet équilibre.
    https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy

    Terence Tao — « Mathematics in the Age of AI »
    Le point de vue de Terence Tao sur l’évolution de la recherche et de la pratique des mathématiques à l’ère de systèmes d’intelligence artificielle de plus en plus performants.
    https://arxiv.org/abs/2608.16753

    Étude de cas : Navier–Stokes

    OpenAI — Navier–Stokes Solution
    La présentation par OpenAI de ses travaux autour du problème de Navier–Stokes et du rôle joué par les systèmes d’IA dans le processus mathématique.
    https://openai.com/index/navier-stokes-solution/

    Tristan Buckmaster et Levent Alpöge — Déclaration
    La déclaration des chercheurs Tristan Buckmaster et Levent Alpöge, qui présente leur point de vue sur ces travaux, la collaboration entre chercheurs et IA, ainsi que les questions de vérification et d’attribution scientifique.
    https://cims.nyu.edu/~tristanb/statement.pdf

    Benchmarks des modèles

    FrontierMath — Epoch AI
    Un benchmark destiné à évaluer les performances des modèles d’IA de pointe sur des problèmes mathématiques difficiles, notamment des problèmes de niveau recherche.
    https://epoch.ai/frontiermath/tiers-1-4?view=graph&tab=release-date&tier=Tier+4+%28v2%29

    Formation et enseignement supérieur

    MIT — Rapport sur l’IA et l’éducation
    Un rapport consacré aux conséquences de l’intelligence artificielle pour l’enseignement, l’apprentissage, l’évaluation et la formation à la recherche.
    https://aiandeducation.mit.edu/report/

    OCDE — Policies Supporting Responsible and Systematic GenAI Adoption in Higher Education
    Un rapport de l’OCDE sur les politiques et les approches institutionnelles permettant une intégration responsable et systématique de l’IA générative dans l’enseignement supérieur.
    https://www.oecd.org/content/dam/oecd/en/publications/reports/2026/07/policies-supporting-responsible-and-systematic-genai-adoption-in-higher-education_0f8d9b9f/c4e5621f-en.pdf