Is AI Solving Math Too Fast? | Dark Hacker News