What does the end of mathematics look like? by from Hacker News on 2025-05-19 07:40 (#6XCFB) Comments