Good article. I remember that in the second year at university, our math professor explained "It boils down to Gödel's incompleteness theorem, that we [mathemat

Good article. I remember that in the second year at university, our math professor explained "It boils down to Gödel's incompleteness theorem, that we [mathematicians] won't be automated away". Never been worried about AI, singularity or automatization since then.