Verifiable vs non-verifiable is the wrong lens; slow-to-verify is the real bottleneck

rosstaylor90 · x · 2026-10-09

Ross Taylor argues the verifiable/non-verifiable distinction misunderstands model jaggedness—fast-to-verify vs slow-to-verify is the right frame. Many "non-verifiable" skills like research judgement are verifiable under long-term objectives, but are hard to hillclimb because such objectives train slowly with sequential compute or are very expensive with parallel compute. Other slow-to-verify cases reflect real-world friction—scientific instruments, new hardware and facilities—driving new physical labs, though the overarching difficulty of optimizing long-term objectives remains under-appreciated.

Original post →

More from AGI Musings

AGI Musings channel →