Reverse math shows why hard problems are hard

📅 2025-12-02    ⚓ Hacker News    🌐 Source    🖼️ Load Image