bluesky — Andrés Corrada — 9 Oct 2026
Formal verification of AI agents, whether super-intelligent or not, has been proposed as a wayto AI safety. This cannot…
#ai-safety #formal-verification #logic
Formal verification of AI agents, whether super-intelligent or not, has been proposed as a wayto AI safety. This cannot address that AI agents are being asked to make synthetic truth statements most of the time. We have no logical theory of the world that can verify "there is a duck in this photo."