Can Math as We Know It Survive AI? | Hacker News Reader