AI will not make mathematicians obsolete | Dark Hacker News