IA et Maths
Cette page (temporaire) a pour objet de stocker un certain nombre de liens vers des publications, des blogs, des documents etc … concernant l’impact de l’IA sur les mathématiques, ainsi que vers des outils à disposition. Elle sera maintenue à jour le temps de la réflexion au sein de l’IMT sur ce sujet.
Publié le 15/09/26
1) L’histoire des « liens » entre Tao et l’IA sur son blog
https://teorth.github.io/tao-web/mastodon-posts.html
son texte à l’ICM sous forme ArXiv : arxiv.org/abs/2608.16753
2) Lien vers la version Mistral accessible pour les membres de l’université de Toulouse
https://ragarenn.eskemm-numerique.fr/
3) Lien vers le post de Mat(thew) Baker (sur son blog)
https://mattbaker.blog/2026/09/10/some-late-night-thoughts-on-ai-and-the-future-of-research-in-mathematics/
4) Lien vers Qwen
5) Une plateforme récente de posts de mathématicien(nes) , beaucoup sur IA et Maths
6) Un podcast avec S. Serfaty et A. Hayat