费马大关键词检索结果

2026年9月5日 11:05

AI 代理在短短 11 天内将费马最后定理正式化

Fermat’s last theorem formalised by AI agents in just 11 days

将费马大定理的证明转换为计算机可以检查的代码预计需要数年时间。 Anthropic 的 Claude AI 在不到两周的时间内完成了它

查看详细页面