What does the advent of powerful AI models mean for mathematicians like me? | Hacker News Reader