Bruce Schneier: No, AI doesn't mean the end of mathematics – at least not yet | Dark Hacker News