Comment by skew-aberration

7 hours ago

I agree with the observation but not the extrapolation. After all, RLing on sufficiently hard problems might cause agents to adopt better proof strategies emergently.

0 comments