Anthropic AI 仅用 11 天形式化费马大定理的证明
Anthropic AI 仅用 11 天就“形式化”了费马大定理的证明
阅读原文
本站未展示全文，请前往来源网站阅读。
AI 导读
《自然》报道称，Anthropic 的 AI 仅用 11 天就完成了费马大定理证明的形式化，原文标题中“形式化”一词加了引号。
来源：nature.com（经 Hacker News） · nature.com
Anthropic AI 仅用 11 天就“形式化”了费马大定理的证明
本站未展示全文，请前往来源网站阅读。
《自然》报道称，Anthropic 的 AI 仅用 11 天就完成了费马大定理证明的形式化，原文标题中“形式化”一词加了引号。
来源：nature.com（经 Hacker News） · nature.com