

Seems like he’s very heavily professionally invested in the symbolic paradigm and given machine learning completely dominates AI at the moment he’s taking the piss at them whenever he can. Given the fundamental limitations of ML he’s probably right that any sincere attempt to improve on them requires a more symbolic approach, but talking specifically about AGI is getting into woo territory.

Have been using Tutanota for years. They took an anti-AI stance pretty early on as well.