Lecture 1

This lecture is an introduction to the relation between program synthesis, intelligence, and the ARC challenge.