Mathématiques et IA : les théorèmes à l'heure de l'innovation algorithmique

Sciences Et Avenir - 04/01
Depuis trois ans, de plus en plus de chercheurs explorent l'aide que l'IA peut apporter dans les mathématiques. Et plus les progrès arrivent, moins ils voient de questions qu'elle ne pourrait résoudre.

Cet article est extrait du mensuel Sciences et Avenir n°935, daté janvier 2025.

"ChatGPT, démontre-moi l'hypothèse de Riemann." Quand on pose la question au chatbot bien connu d'OpenAI, il l'élude. Il préfère nous rappeler que la conjecture de Riemann est l'un des sept fameux "problèmes du millénaire", un ensemble de questions réputées extrêmement difficiles à résoudre. Mais c'est tout. Les mathématiques sont l'une des fiertés de l'humanité, et il paraît presque inconcevable que l'IA s'y illustre. Pourtant, depuis trois ans, de plus en plus de chercheurs explorent l'aide qu'elle peut apporter dans les mathématiques. Et plus les progrès arrivent, moins ils voient de questions qu'elle ne pourrait résoudre.