模型与研究 1 天前
Anthropic称Claude代理团队用11天完成费马大定理的Lean形式化：重点不是“发现”而是机器核验
Anthropic 表示其 Claude 多代理团队在约11天内完成费马大定理的…
编辑部
标签专题
#Formalization
聚焦该标签下的所有相关内容。
共 1 篇
聚焦该标签下的所有相关内容。
Anthropic 表示其 Claude 多代理团队在约11天内完成费马大定理的…