Program Synthesis

“I do believe the human mind does at the highest level something that looks a lot like programs in this, like we're currently building Causal models of our surroundings. Like we are describing our surroundings in our mind as, you know, a set of objects and agen…”

“I actually don't think either is sufficient. I think some merger of the two is what's necessary to get to AGI.”

“The main bottleneck is that this search process takes a very, very long time. It's a very large search space, and to evaluate all these points you know, which point takes you some amount of competition to evaluate. You're gonna have to evaluate millions of poi…”

“There's maybe a couple of million deep learning engineers now in the world. In contrast, there's probably maybe only a few hundred like really great program synthesis folks across, across the world.”