AI and Formal Math - Formal Mathematics Statement Curriculum Learning

AI and Formal Math - Formal Mathematics Statement Curriculum Learning

Yannic Kilcher via YouTube Direct link

- Where do we go from here?

13 of 13

13 of 13

- Where do we go from here?

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. 1 - Intro
  2. 2 - How do you explain the big public reaction?
  3. 3 - What's the history behind the paper?
  4. 4 - How does algorithmic formal math work?
  5. 5 - How does expert iteration replace self-play?
  6. 6 - How is the language model trained and used?
  7. 7 - Why is every model fine-tuned on the initial state?
  8. 8 - What if we want to prove something we don't know already?
  9. 9 - How can machines and humans work together?
  10. 10 - Aren't most produced statements useless?
  11. 11 - A deeper look at the experimental results
  12. 12 - What were the high and low points during the research?
  13. 13 - Where do we go from here?

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.