Is AI Solving Math Too Fast? | Hacker News Reader