That's not the claim made in TFA. See the sibling comments, in particular about the DeepMind formalization.