S'abonner à l'agenda

S'abonner au séminaire

Ajouter cette URL aux abonnements de votre calendrier électronique :
https://irma.math.unistra.fr/cal/artificial-intelligence-as-a-scientific-tool-for-mathematics-1977.ics
Fermer

Artificial intelligence as a scientific tool for mathematics


Jeudi 24 septembre 2026

Amphithéâtre Rothé (UFR Math-Info)
Programme

Une conférence intitulée "Artificial intelligence as a scientific tool for mathematics" aura lieu le jeudi 24 septembre dans l'Amphithéâtre Rothé de l'UFR Math-Info.

Organisateur : Alexandru Oancea (IRMA), Laurène Prehaut (IRMA)

Lieu : Amphithéâtre Rothé (UFR Math-Info)

  • Jeudi 24 septembre 2026

  • 15:30

    Mohammed Abouzaid, Uni. Stanford

    Artificial intelligence as a scientific tool for mathematics

    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.
  • 16:30

  • 16:45

    Table Ronde

    Artificial intelligence as a scientific tool

    Intervenants :

    Mohammed Abouzaid, Uni. Stanford

    Philippe Helluy, Uni. Strasbourg - IRMA

    Rodrigo Ibata, Uni. Strasbourg - ObAS





    Modération :

    Laurène Prehaut, Uni. Strasbourg - IRMA