And that interview was explicitly a hypothetical. It was shared here a few months back.

Dario also believes that verifiability is trivial, which I'm much more sceptical of.