Artificial intelligence as a scientific tool for mathematics

Research

Conference by M. Abouzaid (Uni. Stanford) and roundtable discussion

24 September 2026
15h30 17h30
UFR MAI (Strasbourg)

 UFR MAI - Amphi. Rothé
 

 15h30 – 16h30  Conference

“Artificial intelligence as a scientific tool for mathematics”

Speaker: Mohammed Abouzaid (Uni. Stanford)

Abstract: OpenAI's recent announcment that they have proved blowup for the forced Navier Stokes problem (a variant of one of the Millenium problems) is the latest indication of the capabilities of AI sytems in mathematics. In this lectures, I will discuss efforts to try to systematically understand how these capabilities are evolving, not only in terms of ability to provide correct proofs, but also in terms of cost. I will end with a discussion of the challenges that I believe the mathematical community faces in adapting to this new environment.

   16h30 – 16h45  Coffee break

 16h45 – 17h30  Roundtable discussion

“Artificial intelligence as a scientific tool”

Speakers: 
Mohammed Abouzaid (Uni. Stanford)
Philippe Helluy (Uni. Strasbourg, IRMA)
Rodrigo Ibata (Uni. Strasbourg, ObAS)

Moderation: 
Laurène Prehaut (Uni. Strasbourg, IRMA)

About First Proof: https://1stproof.org/index.html