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