Mathematicians' Newest Assistants Are Artificially Intelligent | Hacker News Reader