This is indeed an excellent talk, and I think contains the seeds of a path forward through the AI thicket. When tested against only "vibes," AI can generate reams of slop. But when tested against hard ground truth, in this case rigorous mathematical formalism, possibilities abound.
add a skeleton here at some point
about 1 month ago