Comment by zardo

The time required to verify is much higher, so some combination of vastly speeding that up or vastly increasing the quality of individual "thought steps".