Claude Fable 5.2 用 30 小时形式化费马大定理

Claude Fable 5.2 and Mythos 5.2

Anthropic 发布了 Claude Fable 5.2 和 Claude Mythos 5.2，这两款模型在编码、推理和视觉能力上实现了显著突破。在预发布测试中，它们不仅协助工程师完成了复杂的软件迁移，还从零开始设计了三款电子设备和一个可运行的操作系统。更令人惊叹的是，模型在理论物理领域解决了两个关于黑洞的开放问题，并仅用 30 小时就完成了费马大定理的形式化证明。相比前代，新模型输出速度提升 30%，且价格更优。Claude Fable 5.2 面向所有用户，内置了强大的网络安全和生物安全护栏；而 Claude Mythos 5.2 则通过专项验证程序向特定领域的机构开放，专注于高难度的科研与工程挑战。