待验证50% 置信事实精确时间
论文指出OpenAI的Navier-Stokes证明中equation 8.19声称某量可被m+4阶导数的范数控制，但Lean代码验证的是被m+5阶导数的范数控制，后者是更弱的结论
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/10/11
首次发现
有效期至：2027/1/9
来源
涉及实体
相关事实
已验证数值梯度检验通过中心差分公式 (f(θ+ε) - f(θ-ε)) / (2ε) 近似计算梯度，与解析梯度比较，相对误差小于1e-5认为正确，大于1e-3几乎确定存在bug58% 相似待验证论文证明对于参数 ν∈(0,2) 的 Matérn-ν 核、参数 γ∈(0,2) 的 γ-指数核以及某些分段多项式核，极小极大最优尺度被精确确定为 Θ(√(Tγ_T))，上下界在常数因子范围内完全吻合57% 相似待验证新的样本复杂度界在对|β|/(1-γ)的指数依赖上匹配了已知下界57% 相似待验证论文在Qwen2.5-Math-7B-Base上跨越九个数学及分布外基准进行验证57% 相似待验证同一模型在DeepCWE上因智能体框架不同得分从65.5到74.2不等，官方harness用的是区间上限，Claude Code的harness下只有69.857% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/995683API
curl https://kongchang.com/api/v1/knowledge/claims/995683MCP
get_claim(id=995683)