Y
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...