Lean
-
从命题到内核检查：Claude 11 天跑完费马大定理形式化，AI Agent 进入长周期数学验证阶段
Anthropic 称 Claude 用 11 天完成费马大定理的端到端形式化证明。相比结果本身，更值得关注的是 AI 在长时程 Agent、状态管理和形式化推理上的能力边界。
Anthropic 称 Claude 用 11 天完成费马大定理的端到端形式化证明。相比结果本身，更值得关注的是 AI 在长时程 Agent、状态管理和形式化推理上的能力边界。
