Lecture 1: Introduction: AI for mathematical and algorithmic discovery
Course logistics and overview. What does it mean for an AI system to make a discovery? A tour of recent results in theorem proving, constructions in combinatorics, and algorithm discovery, and the common ingredients behind them: a search space, a verifier, and a learned guide.
Optional readings: FunSearch (Romera-Paredes et al., 2023), Advancing mathematics by guiding human intuition with AI (Davies et al., 2021)