Anthropic：Claude 完成费马大定理首个端到端形式化证明
要点导读
- Claude 完成费马大定理形式化证明
- 证明端到端且可由计算机完整检查
- 项目由姚班校友主导
内容摘要
Anthropic 宣布，Claude 完成了首个端到端、可由计算机完整检查的费马大定理形式化证明，该项目由姚班校友主导。
阅读原文
原文来源：量子位（qbitai.com）。本页摘要与要点整理自公开来源，版权归原作者所有，完整内容请阅读原文。
Anthropic 宣布，Claude 完成了首个端到端、可由计算机完整检查的费马大定理形式化证明，该项目由姚班校友主导。
原文来源：量子位（qbitai.com）。本页摘要与要点整理自公开来源，版权归原作者所有，完整内容请阅读原文。
