AI is not going to make mathematicians obsolete | Dark Hacker News