Math proofs are special because they’re verifiable, safe, and do not require physical experiments. You can perform exhaustive parallel search in simulation with RLVR.

Do you think this applies to say, surgery, as well? There are few useful problems that share these properties.