Hacker News 熱門Classification of Finite Simple Groups Formalized in Lean2026/10/28 00:29· 3小时前查看原文（Hacker News 熱門）分享海报（1080px）导出 Markdown