nicekate(@nicekate8888):以前是程序员替 AI 收拾残局，现在 AI 开始给程序员写「无 bug 保证书」了：Anthropic 让 Claude 写形式化证明，官方称覆盖 123 个开源库另外两个惊喜：Canva 自研图像模型冲到设计榜第 2，Carbon-X 一个 14B 模型就能读 DNA 00:00 开场 00:09 Anthropic 形式化验证 01:56 Canva Craft 02:38 Gemini API CLI 04:36 Devin 漏洞修复插件 05:23 METR 红队测试 OpenAI 智能体监控 06:16 Ideogram Vector 1.0 07:07 蚂蚁 Ling-3.1-flash 07:39 SageAI Sage-A1.5 08:27 NVIDIA Nemotron Retriever 10:39 LlamaIndex OCRia-1 12:39 微软研究院 Flint Interactive 13:56 Underdog Bark 3.0 15:15 Hugging Face Carbon-X 16:31 HexaShell（arXiv 2610.23479） 18:40 LEV 循环决策模型（arXiv 2610.20951） 20:50 片尾

2026.10.23 00:31

以前是程序员替 AI 收拾残局，现在 AI 开始给程序员写「无 bug 保证书」了：Anthropic 让 Claude 写形式化证明，官方称覆盖 123 个开源库另外两个惊喜：Canva 自研图像模型冲到设计榜第 2，Carbon-X 一个 14B 模型就能读 DNA 00:00 开场 00:09 Anthropic 形式化验证 01:56 Canva Craft 02:38 Gemini API CLI 04:36 Devin 漏洞修复插件 05:23 METR 红队测试 OpenAI 智能体监控 06:16 Ideogram Vector 1.0 07:07 蚂蚁 Ling-3.1-flash 07:39 SageAI Sage-A1.5 08:27 NVIDIA Nemotron Retriever 10:39 LlamaIndex OCRia-1 12:39 微软研究院 Flint Interactive 13:56 Underdog Bark 3.0 15:15 Hugging Face Carbon-X 16:31 HexaShell（arXiv 2610.23479） 18:40 LEV 循环决策模型（arXiv 2610.20951） 20:50 片尾