Hacker News AI17Has AI made any progress as a mathematical theory-builder,,,,?2026/10/24 18:42· 2小时前观点观点查看原文（Hacker News AI）分享海报（1080px）导出 Markdown