'It is incredible': How AI is transforming mathematics | Hacker News Reader