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