#费马大定理

1 条

9月5日

模型78°04:12

Claude完成费马大定理形式化证明

Anthropic的Claude用AI完成了费马大定理的形式化证明，比专家预期时间短得多，还验证了2.9万多个相关定理。

#Claude #费马大定理 #Lean #形式化证明

官方账号Anthropic@AnthropicAI原文