Yes, I'm quite confident that's what OpenAI is doing. These math proofs are just a side effect of them trying to create new data out of the blue for a better model. But that's still chasing a wild goose and hitting jackpots with 10,000 active agents, it doesn't necessarily prove RSI.