Google's Szegedy: Formal Verification Will Be Key to Using Superhuman AI
ChrSzegedy · x · 2026-10-08
Christian Szegedy argues that formal verification will be a critical component of safely using superhuman AI, calling it "a cheat code by which a really dumb program can check an output produced by a superintelligent entity." He was responding to a point that as AI gets more intelligent, users increasingly won't understand what it says — a dynamic already seen between humans.
More from AGI Musings
- AI is just a faster route to art and math's true ends, argues poster — SydSteyerhart · 2026-10-08
- Top mathematicians debate: is AI exploration a convex hull or a generated subgroup? — gleech · 2026-10-08
- Social contagion and fertility: seeing your boss have kids makes you likelier to follow — EleanorOlcott · 2026-10-08
- If frontier-class models are this capable, why aren't companies getting popped? Three theories — joshua_saxe · 2026-10-08
- AGI debate: it's about societal integration, not just models — weballergy · 2026-10-08
- Why cruelty toward robots may matter even if they can't suffer — ArcanuMELO · 2026-10-08