"Any problem where the solutions you propose can be formally verified and you can actually trust the reward signal -- any domain like this can be fully automated with current technology with the LLM-based stack. Code is the first domain to fall but there will be many others. Mathematics is also primed to see a revolution in the next few years for the same reasons."