Anthropic 宣布 Claude 用 11 天完成费马大定理首个端到端形式化证明

点击“跳转原文网站”，继续查看这篇内容。