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 the intersection of artificial intelligence and formal mathematics in this conference presentation examining whether AI provers can solve open mathematical problems beyond current human capabilities. Delve into recent advances in automated theorem proving and discover connections to modern software verification frameworks for imperative programs. Learn about cutting-edge developments in machine learning applications to formal proving, with insights into how these technologies might revolutionize mathematical problem-solving and verification processes. Gain understanding of the current state and future potential of AI-assisted formal mathematics, presented by Amaury Hayat from École nationale des Ponts et Chaussées at the CPP 2026 conference.
