2026年9月5日 9:01 ET 发布 · 更新于 2 个月前 · 1 个来源

人工智能通过编写有史以来最长证明解决了350年的数学难题

Decrypt

·

原始报道

Anthropic表示,Claude花费11天时间将费马大定理转化为1300万行代码,计算机可自行验证,无需人工信任。