[Davidzheng]

Well Alphaproof used test-time-training methods to generate similar problems (alphazero style) for each question it encounters.