What would you say if the IMO Gold Medal models from DeepMind and OpenAI turn out to be generalizable to other domains including those with hard-to-verify reward signals?

Hint: Researchers from both companies said publicly they employ generalized reasoning techniques in these IMO models.