Is AI the End of Math as We Know It? | Hacker News Reader