待验证50% 置信事实精确时间

Lean 4相比Lean 3在性能、元编程能力和用户体验上有质的飞跃，并且具备完整的通用编程能力

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/7

首次发现

有效期至：2026/12/6

来源

费马大定理形式化：Lean 4如何验证数学史上最难证明

涉及实体

Lean 4product Lean 3product

相关事实

待验证V3 Pro是全能力版本，擅长复杂代码生成、多步推理和长上下文理解60% 相似待验证Dynamic 3.0 相比前代版本在层级校准、校准数据集选择和对新架构（MoE、GQA）的适配上做了改进59% 相似待验证0731更新为DeepSeek V4-Flash引入了更强的智能体能力，使其成为足够强大的默认选择58% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/870173

API

curl https://kongchang.com/api/v1/knowledge/claims/870173

MCP

get_claim(id=870173)