SELECT * FROM DAFc WHERE DAFc="UC4R1IsRVKs_qlWKTm9pT82Q"
Amaury Hayat - How can Machine Learning Help Mathematicians
· 26.05.2024 · 14:15:05 ··· Sonntag ⭐ 36 🎬 915
📺 Institut des Hautes Etudes Scientifiques (IHES)
Large Language models have known large successes in recent years. This naturally raises the question: can AI assist mathematicians in solving open problems in mathematics? We will explore how a language model can be trained to learn a mathematical intuition on open problems and guess candidate solutions, with a focus on a few examples. We will also explore the application of LLM to automated theorem proving with an online training procedure and discuss new perspectives in the area.
Amaury Hayat (École des Ponts ParisTech & CERMICS)
===
Find this and many more scientific videos on https://www.carmin.tv/ - a French video platform for mathematics and their interactions with other sciences offering extra functionalities tailored to meet the needs of the research community.
===
· 26.05.2024 · 14:15:05 ··· Sonntag
U
U
L
L
T
* 1716725705
* 1716725705
X 915
Y 36
P
C 19762
B 5
V 90
* · 28.07.2022 · 00:00:00 ···
2 · 30.04.2023 · 05:39:01 ···
L · 30.06.2024 · 10:08:39 ···
C · 05.07.2024 · 10:08:42 ···
💘 🖱️ * · 01.01.1970 · 01:00:00 ···
* · 01.01.1970 · 01:00:00 ···
· 01.01.1970 · 01:00:00 ···
**##
*** · 01.01.1970 · 01:00:00 ··· ::
*2* · 01.01.1970 · 01:00:00 ··· ::
*L* · 01.01.1970 · 01:00:00 ··· ::
*C* · 01.01.1970 · 01:00:00 ··· ::
********
