Anthropic– tag –

Anthropic与合作伙伴Theorem使用Claude对123个开源库进行了形式化验证，并生成了约1.8亿行证明代码。本文将解读AI从“编写”迈向“证明”的意义及其局限。

Claude官方账号介绍了主动执行任务的智能体应用“Claude Duet”研究预览版。本文将从提示用户留意事项、执行受托任务、离席期间继续工作以及代为行动前征求确认这四项设计出发，解读AI应用的下一步形态。

据报道，OpenAI首席执行官萨姆·奥特曼在内部演讲中提出了有关AI安全的三个终点。本文将从治理选择的角度，解读国际监管机构、合并主要实验室和由单一实验室领先这三种方案的区别。

Anthropic技术部门初级新员工的占比已从27％降至9％。AI智能体的运行时长在全公司范围内达到人类的6倍。本文探讨效率提升背后的人才培养走向。

在将AI用到极致的企业职场中，年轻技术人员的比例下降，会议时间则有所增加。本文将根据Anthropic发布的报告数据，解读AI时代工作方式的重组。

据称，Anthropic的Claude在不到30分钟内查明了NSA提供的椭圆曲线“种子”的来历。重点不在于破解密码，而在于揭示参数值的来源。本文将梳理AI如何凭借偏差缩小假设范围，以及这一成果的意义。

AI 编程平台 Replit 的 CEO 谈到了与 Anthropic 结束合作一事，原因涉及成本、合作关系和性能。另一方面，相关人士称双方仍在继续合作，这也凸显了选择 AI 模型的难度。

Anthropic向投资者展示了2026年第三季度168亿美元的营收。尽管环比增长约45%，但增速有所放缓。在计划于11月进行IPO之前，本文将从增长率、利润、防范蒸馏的措施以及竞争环境等方面解读其估值走向。

Anthropic开发的JavaScript运行时“Bun”推出新版1.4.3，其内置类型检查器据称比TypeScript 7快3倍以上。本文还将梳理其100%通过符合性测试、内存消耗较低等特点，以及其他更新内容。

Anthropic的Jack Clark表示，到2027年，AI具备训练后继AI能力的概率将超过50%。但他同时称，明年真正实现自我改进的可能性“接近于零”。本文将梳理如何区分能力与实际执行。

Anthropic表示，该公司加强了对针对Claude推理过程的大规模提取行为的防范，并将提取量减少了90%至99%。本文将从虚假账户、分类器和账户停用等防御设计出发，解读AI竞争的新战场。

Claude Managed Agents新增了动态工作流，最多可并行运行1000个AI智能体。漏洞检测测试显示，其表现优于单个智能体；与此同时，处理量增加所带来的成本也是是否采用时需要考虑的因素。