État des lieux des percées récentes

Progrès fulgurants des six derniers mois, avec des LLM qui ne produisent plus uniquement des contre-exemples mais maintenant des preuves complexes (conjecture de percolation, problèmes du millénaire):

• Navier-Stokes

• percolation

• unit distance conjecture, papier d’OpenAI

• conjecture de Crouzeix

Impact visible ?

Nombres de prépublications sur Arxiv dans les catégories "Numerical Analysis" (math.NA) et "Analysis of PDEs" (math.AP)

Ressources

• Podcast France Culture avec Sylvia Serfaty et Amaury Hayat

• Mathematics in the age of AI, Terence Tao

• Thoughts about the Leiden declaration, Timothy Gowers

• The crisis of AI generated math, Max Weinreich

• Fundamental Mathematics in the Age of AI, Benjamin Collas.

• Ressources sur le blog de Tao 1

• Ressources sur le blog de Tao 2

• Impact environnemental de l’IA générative : combien pollue vraiment une requête ChatGPT ?

Initiatives communautaires

• Déclaration de Leiden

• Math and AI

• Association of Human Mathematics

• Give Authors Control: Let Us Decide If AI Bots Can Read Our arXiv Papers