• HomePage »
  • Activities »
  • AI
    • AI Resources

    Activities

  • Seminars and events
  • Ph.D. theses
  • Habilitation theses
  • Corporate partnerships
  • Outreach
  • Women in mathematics
  • AI

    • A selection of resources on the use of artificial intelligence in mathematics, research, and higher education.

    Institutional framework and good practices

    Université Paris-Saclay — Charter for the Use of Generative AI
    Université Paris-Saclay’s charter on the responsible use of generative AI in teaching, research, and academic activities.
    https://www.dataia.eu/sites/default/files/Charte%20d'usage%20de%20l'IA%20ge%CC%81ne%CC%81rative%20UP%20Saclay%20-%202025.pdf

    Leiden Declaration on AI and Mathematics
    A declaration on the principles, values, and practices that should guide the use of AI within the mathematical community.
    https://leidendeclaration.ai/

    AI and mathematical research

    Proofs and Prompts
    A blog from the mathematical community on AI and the changes it is bringing to mathematical research and practice.
    https://proofsandprompts.com/

    David Bessis — “The Fall of the Theorem Economy”
    An essay on the role of the theorem in mathematical research and how advances in AI may transform this model.
    https://davidbessis.substack.com/p/the-fall-of-the-theorem-economy

    Terence Tao — “Mathematics in the Age of AI”
    Terence Tao’s perspective on the evolution of mathematical research and practice in the age of increasingly capable AI systems.
    https://arxiv.org/abs/2608.16753

    Case study: Navier–Stokes

    OpenAI — Navier–Stokes Solution
    OpenAI’s presentation of its work on the Navier–Stokes problem and the role played by AI systems in the mathematical process.
    https://openai.com/index/navier-stokes-solution/

    Tristan Buckmaster and Levent Alpöge — Statement
    A statement presenting their perspective on the work, human–AI collaboration, and questions of verification and scientific attribution.
    https://cims.nyu.edu/~tristanb/statement.pdf

    Model benchmarks

    FrontierMath — Epoch AI
    A benchmark for evaluating frontier AI models on difficult mathematical problems, including research-level problems.
    https://epoch.ai/frontiermath/tiers-1-4?view=graph&tab=release-date&tier=Tier+4+%28v2%29

    Education and higher education

    MIT — Report on AI and Education
    A report on the implications of AI for teaching, learning, assessment, and research training.
    https://aiandeducation.mit.edu/report/

    OECD — Policies Supporting Responsible and Systematic GenAI Adoption in Higher Education
    An OECD report on policies and institutional approaches for the responsible and systematic integration of generative AI in higher education.
    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