Hacker News new | ask | show | jobs
by NetRunnerSu 335 days ago
When AI can generate and pass formal proof, there is no truth anymore - we are the brain in the vat only left connect ourselves into the vat.

https://dmf-archive.github.io/docs/posts/cognitive-debt-as-a...