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