Hacker News AI38Bend 2: Is formal verification the future of AI coding? [video]2026/10/31 02:06· 1小时前观点观点查看原文（Hacker News AI）分享海报（1080px）导出 Markdown