Claude– tag –

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

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

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

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

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