Claude 形式化验证 123 个开源库：1.8 亿行 Rocq 证明
一句话结论：Anthropic 与形式化验证公司 Theorem Labs 用 Claude 在几周内为 123 个开源库的 239 个入口生成了约 1.8 亿行 Rocq 证明，首次让机器检查过的正确性保证落到了真实生产代码上。 2026…
Claude第 7 页262 篇
Anthropic 让 Claude 生成 1.8 亿行形式化证明
10 月 22 日消息，Anthropic 的 Frontier Red Team 与形式化验证公司 Theorem Labs 合作，把 Claude 用在了软件正确性证明上。团队取来谷歌 OSS-Fuzz 中 123 个开源库的测试程序，…
OpenAI 拟融资 300 亿美元：1.25 万亿估值背后的算力账单
OpenAI 接近敲定至多 300 亿美元融资，投前估值 1.25 万亿美元，由阿联酋投资者与 Coatue 领投。本轮是 IPO 前的过桥融资，算力账单与 Anthropic 抢先上市的竞速构成核心变量。
Vercel 开源 durable-harness：5 个编码智能体框架崩溃续跑机制拆解
Vercel 在 10 月 21 日开源了 durable-harness，把 Pi、OpenCode、fx、Claude Code、Codex 这 5 个主流编码智能体框架接到同一套持久化执行机制上。一句话结论：它用一条可恢复的会话日志加…
OpenEvidence 估值 150 亿美元：4200 万条提示词撑起医疗 AI 搜索
10 月 21 日 Ars Technica 报道，广告支持的医疗 AI 搜索创业公司 OpenEvidence 估值已达 150 亿美元。数据显示，美国 100 万名医生中有接近三分之二正在用这类 AI 搜索引擎辅助诊疗决策，公司上月处理…
Anthropic 发布 Claude Duet：基于 Opus 5.5 的个人事务智能体
10 月 21 日，Anthropic 推出面向专业人士与小型企业主的智能体 Claude Duet，目前以研究预览形式上线，可通过 iOS、Android 独立应用以及网页版 Claude 使用，美国地区需要 Pro 或 Max 订阅才能…
OpenAI 联合 PerturbAI 用 2000 个智能体 32 分钟解析小鼠全脑图谱
OpenAI 与 PerturbAI、斯克里普斯研究所（Scripps Research）合作，用近 2000 个 GPT-Rosalind 智能体并行分析小鼠全脑 CRISPR 图谱，只花了 32 分钟就完成全部解读，并给出 Tsc1/T…
Claude 64小时设计31.8万个抗蝎毒蛋白：211个送测17个达标
一句话结论：Anthropic 用 64 小时让 Claude 生成了 318484 个针对蝎子神经毒素的蛋白结合体设计，211 个进入双实验室验证，17 个达标，其中最强两个对墨西哥蝎毒 Cn2 的亲和力达到个位数纳摩尔级，但这项工作只证…
Claude设计蝎子毒素蛋白结合体：318484条设计筛出17个
10 月 21 日，Anthropic 公布 Claude Science 环境下的首个大分子设计成果。Claude 自主生成了 318484 个针对蝎子神经毒素的蛋白结合物设计，覆盖 4 种蝎子的 5 种毒素，最终从 211 个进入实验的…
智能电视广告引不满：用户借助 Claude 等 AI 智能体清理预装应用与追踪功能
10月20日，据 TechCrunch 和 Mashable 报道，部分开发者和普通用户开始借助 Claude Code 等 AI 编程智能体，对智能电视中的广告和预装软件进行清理与禁用，以减少广告干扰并改善操作流畅度。 CleanYour…