模型与研究 24 天前
OpenAI公开内部前沿模型生成的数学成果：722份手稿与Lean形式化材料进入公开复核
OpenAI于2026年公开了一批由内部未发布前沿模型生成的数学研究材料，在Gi…
编辑部
标签专题
#Formalization
聚焦该标签下的所有相关内容。
共 2 篇
模型与研究 1 个月前
Anthropic称Claude代理团队用11天完成费马大定理的Lean形式化：重点不是“发现”而是机器核验
Anthropic 表示其 Claude 多代理团队在约11天内完成费马大定理的…
编辑部