Date: Tuesday, December 3rd 2024 – 13h00
Place: A008
Title: The Automation of Mathematics in Practice
This presentation provides an overview of automated systems actively used in proving mathematical theorems, focusing on the practical successes achieved by SAT solvers, first-order theorem provers, and interactive theorem provers.
Additionally, we present our progress towards improving automation in areas that are usually considered challenging for proof automation, such as conjecture generation and inductive reasoning.
