Reverse math shows why hard problems are hard by from Hacker News on 2025-12-02 02:35 (#71W2F) Comments