Hacker News AI43Mathematical proof in the age of AI2026/10/14 22:09· 1小时前观点观点查看原文（Hacker News AI）分享海报（1080px）导出 Markdown