Contrarian take: verification is a special case, the real world needs soft-verification

tensorqt · x · 2026-11-03

The author offers a deliberately contrarian view: verification is a special case, and the real world is much fuzzier. We will have to adopt soft-verification for hardening results and systems, measured roughly by some metric capturing the amount of cumulative intelligence poured into hardening them.

Related event: Researcher Argues Verification Is a Special Case, Calls for Soft Verification(2 posts)→

Original post →

More from AGI Musings

AGI Musings channel →