bluesky — Andrés Corrada — 9 Oct 2026
The "inadequacy of translation" problem with @openai-m.extwitter.link 's claim to have settled the Navier-Stokes finite-…
#ai-safety #fluid-dynamics #formal-verification
The "inadequacy of translation" problem with @openai-m.extwitter.link 's claim to have settled the Navier-Stokes finite-time blow up problem is related, in Quine's mind, to the analytic/synthetic truth distinction that makes formal verification of experts a fool's errand for AI safety.