AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore how artificial intelligence can assist mathematicians in solving open problems through this lecture by Amaury Hayat from École des Ponts, Institut Polytechnique de Paris. Discover multiple perspectives on the intersection of AI and mathematics, examining how different types of AI models can be trained to provide valuable insights into mathematical questions. Learn about recent progress in automated theorem proving and understand the potential for machine learning to revolutionize mathematical research and problem-solving approaches.
