Future of AI progress: deep learning + program synthesis

The ARC benchmark

0:00

Why LLMs struggle with ARC

11:10

Skill vs intelligence

19:00

Do we need “AGI” to automate most jobs?

27:55

How Mike Knoop got nerd-sniped by ARC

1:00:40

Million $ ARC Prize

1:08:37

Resisting benchmark saturation

1:10:33

ARC scores on frontier vs open source models

1:18:08

Possible solutions to ARC Prize

1:26:19