Abstract:
The field of AI for Mathematics has moved its focus from solving benchmark problems with numerical solutions to generating formal proofs to research-level mathematical questions. In this survey talk we will cover recent developments and future directions in AI4Math, including the following three topics:
