Anthropic @AnthropicAI

前沿红队博客新文章：使用 Claude 大规模形式化验证软件。 形式化验证可以证明代码不存在某些缺陷，但历史上仅适用于小型代码库（或需要大量专家时间）。 然而，借助 AI 模型，这种情况正在开始改变。我们与 @theoremlabs 合作，使用 Claude 在几周内证明了超过一百个真实开源库的安全属性。 在此阅读完整研究：https://t.co/zUyx8CjBEk

• DeepSeek发布增强版编程智能体，对标Anthropic2026-11-01
• 用户称遭Anthropic误标为训练竞争对手模型2026-10-31
• OpenAI融资目标下调100亿美元，估值降至1.25万亿2026-10-31
• Anthropic封禁涉及训练更大模型的用户2026-10-31
• Anthropic水印覆盖多款Claude模型，旧模型存绕过漏洞2026-10-31