Hacker News AI42What mathematicians should know about the Lean Theorem Prover: reliability & AI2026/10/10 01:42· 4天前观点观点查看原文（Hacker News AI）分享海报（1080px）导出 Markdown