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

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-feature/ https://dmf-archive.github.io/docs/posts/cognitive-debt-as-a...