David Bessis on AI destroying mathematics | Dark Hacker News