本文印刷
全画面プリント
日仏数学拠点FJ-LMIセミナー
過去の記録 ～02/21｜次回の予定｜今後の予定 02/22～
| 担当者 | 小林俊行, ミカエル ペブズナー |
|---|
2026年03月19日(木)
13:30-14:15 数理科学研究科棟(駒場) 056号室
Amaury HAYAT 氏 (ENPC, Paris)
How can AI Help Mathematicians? (英語)
https://fj-lmi.cnrs.fr/seminars/
Amaury HAYAT 氏 (ENPC, Paris)
How can AI Help Mathematicians? (英語)
[ 講演概要 ]
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.
[ 講演参考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/
