OpenAI数学结果撤回三项
OpenAI数学结果仓库新增6项Lean形式化、修改19项，并撤回3项结果；约42%的顶层结果已完成形式化，后续仍将持续修订。
Tag
# Lean
共 2 篇文章。
当费马大定理进入可验证时代
Anthropic称Claude在11天内完成费马大定理的Lean形式化。这项工作的核心突破不是发现新定理，而是把复杂证明交给计算机逐步核验。
Tag
共 2 篇文章。
OpenAI数学结果仓库新增6项Lean形式化、修改19项，并撤回3项结果；约42%的顶层结果已完成形式化，后续仍将持续修订。
Anthropic称Claude在11天内完成费马大定理的Lean形式化。这项工作的核心突破不是发现新定理，而是把复杂证明交给计算机逐步核验。