待验证50% 置信事实精确时间
怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞,涉及欧拉系统归纳步骤的隐含假设
1
来源数
50%
置信度
长期有效
时效性
2026/7/16
首次发现
来源
相关事实
待验证怀尔斯1993年提交费马大定理证明后被发现存在关键漏洞,花费近一年时间才完成修补80% 相似待验证安德鲁·怀尔斯证明费马大定理的核心工具谷山-志村猜想是朗兰兹纲领的一个特殊情形75% 相似待验证经典矩阵补全理论最初依赖不相干性(incoherence)假设,后来研究者逐步放松这一条件产出了大量工作66% 相似待验证nmem的置信度衰减机制基于艾宾浩斯遗忘曲线理论,由赫尔曼·艾宾浩斯在1885年通过实验发现65% 相似待验证François Chollet 提出的 ARC-AGI 基准和 Epoch AI 提出的 FrontierMath 基准试图通过生成全新问题来测试真正的推理泛化能力64% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/528318API
curl https://kongchang.com/api/v1/knowledge/claims/528318MCP
get_claim(id=528318)