Completed
- Intro
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
AI and Formal Math - Formal Mathematics Statement Curriculum Learning
Automatically move to the next video in the Classroom when playback concludes
- 1 - Intro
- 2 - How do you explain the big public reaction?
- 3 - What's the history behind the paper?
- 4 - How does algorithmic formal math work?
- 5 - How does expert iteration replace self-play?
- 6 - How is the language model trained and used?
- 7 - Why is every model fine-tuned on the initial state?
- 8 - What if we want to prove something we don't know already?
- 9 - How can machines and humans work together?
- 10 - Aren't most produced statements useless?
- 11 - A deeper look at the experimental results
- 12 - What were the high and low points during the research?
- 13 - Where do we go from here?