模型78°04:12Claude完成费马大定理形式化证明Anthropic的Claude用AI完成了费马大定理的形式化证明，比专家预期时间短得多，还验证了2.9万多个相关定理。#Claude#费马大定理#Lean#形式化证明官方账号Anthropic@AnthropicAI原文稍后读已读值得跟进有用关注 Claude
官方账号Anthropic@AnthropicAI原文