Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore the potential of AI in assisting mathematicians to solve open problems in mathematics through this insightful one-hour lecture. Delve into the application of large language models in developing mathematical intuition and generating candidate solutions for unsolved problems. Examine specific examples showcasing this approach and investigate the use of LLMs in automated theorem proving, including an online training procedure. Gain valuable insights into new perspectives in the field as presented by Amaury Hayat from École des Ponts ParisTech & CERMICS at the Institut des Hautes Etudes Scientifiques (IHES).
