Text only print
Full screen print
FJ-LMI Seminar
Seminar information archive ～02/21｜Next seminar｜Future seminars 02/22～
| Organizer(s) | Toshiyuki Kobayashi, Michael Pevzner |
|---|
2026/03/19
13:30-14:15 Room #056 (Graduate School of Math. Sci. Bldg.)
Amaury HAYAT (ENPC, Paris)
How can AI Help Mathematicians? (英語)
https://fj-lmi.cnrs.fr/seminars/
Amaury HAYAT (ENPC, Paris)
How can AI Help Mathematicians? (英語)
[ Abstract ]
The advent of artificial intelligence raises an important question: can AI assist mathematicians in solving open problems in mathematics? This talk explores this question from multiple perspectives. We will explore how different types of AI models can be trained to provide valuable insights into mathematical questions from different areas of mathematics and applied mathematics. We will also present recent works on AI models specifically designed for automated theorem proving.
[ Reference URL ]The advent of artificial intelligence raises an important question: can AI assist mathematicians in solving open problems in mathematics? This talk explores this question from multiple perspectives. We will explore how different types of AI models can be trained to provide valuable insights into mathematical questions from different areas of mathematics and applied mathematics. We will also present recent works on AI models specifically designed for automated theorem proving.
https://fj-lmi.cnrs.fr/seminars/
