Anthropic 发布 Fable 5.2 与 Mythos 5.2,强化编码、金融与科研任务
Anthropic releases Fable 5.2 and Mythos 5.2 for coding, finance and science
Anthropic 发布 Fable 5.2 与 Mythos 5.2,称其在预发布测试中形式化证明费马大定理[1]。这对模型定位为编码、金融和科学等复杂技术工作,并称处理了两个开放的黑洞物理问题;Artificial Analysis 对 Fable 5.2 的综合分为 65。它要解决长程专业任务中推理和工具使用不足的问题,机制上强调更强编码与科学推理。参考价值是模型评测开始包含可形式校验的科研成果;限制是定理过程、评审独立性以及不同 harness 下的真实收益仍需外部复核。
Anthropic released Fable 5.2 and Mythos 5.2, claiming prerelease tests formalised a proof of Fermat's Last Theorem[1]. The models target difficult coding, finance and science and are said to address two open black-hole problems; Artificial Analysis placed Fable 5.2 at 65 overall. The reference is that model evaluations increasingly include formally checkable scientific work; the limitation is that the proof process, review independence and real gains across harnesses still need external verification.