Verifiability is the Limit

I now, although tentatively, believe that LLMs can indeed succeed in all domains with perfect oracles.