Hacker News AI20I don't trust Lean code from AI2026/10/11 03:40· 3天前观点观点查看原文（Hacker News AI）分享海报（1080px）导出 Markdown