Anthropic 称其未发布模型的能力与对齐均优于 Mythos 5.1
Anthropic 在一份重新审视英国 AI Security Institute（AISI）网络安全测试的分析中表示，其内部模型在能力与对齐两方面都优于 Mythos 5.1。
#安全/对齐
The DecoderAI 评分5858
The Decoder精选AI 评分8282 Anthropic 用 Claude 为现有代码自动生成形式化安全证明
Anthropic 的 Frontier Red Team 与 Theorem 合作，让 Claude 把 OSS-Fuzz 中 123 个开源库的崩溃测试转成数学问题，并分析编译后的机器码，几周内生成约 1.8 亿行证明代码，由 Rocq 独立校验。
推荐理由：Anthropic 用 Claude 为 OSS-Fuzz 库生成形式化证明，并说明了适用条件与算力成本。