AI Doesn't Mean the End of Mathematics – At Least Not Yet | Hacker News Reader