Techmeme·· 42 分钟前AI 评分44
Anthropic 称 Mythos 5.2 与 Fable 5.2 在预发布测试中形式化证明费马大定理并解决两个黑洞物理开放问题
Anthropic says during prerelease testing Mythos 5.2 and Fable 5.2 formalized the proof of Fermat's Last Theorem and solved two open black hole physics problems (Jay Peters/The Verge)
AI 导读
Anthropic 称在预发布测试中，Mythos 5.2 与 Fable 5.2 形式化证明了费马大定理，并解决了两个黑洞物理领域的开放问题。相关说法由 The Verge 记者 Jay Peters 报道，Anthropic 未在报道中披露具体测试细节或基准分数。
来源：Techmeme · techmeme.com