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

怀尔斯1993年提交费马大定理证明后被发现存在关键漏洞，通过转化为Iwasawa理论框架修补，并于1995年发表完整版本

1

来源数

50%

置信度

长期有效

时效性

2026/7/16

首次发现

来源

GPT-5.6用64子智能体证明图论猜想？距定论还差几步

相关事实

待验证怀尔斯与学生Taylor通过将问题转化为Iwasawa理论框架完成修补，并于1995年发表完整版本84% 相似待验证怀尔斯在1993年提交的第一版费马大定理证明包含关于欧拉系统的严重漏洞，耗时一年多与Taylor联合修补完成，最终在1995年完成81% 相似待验证第一个量子纠错码由Peter Shor于1995年提出62% 相似待验证1993年Andrew Wiles首次提交的费马大定理证明中被审稿人Nick Katz发现缺陷，后经一年修补成功58% 相似待验证野中郁次郎于1995年提出SECI模型（社会化-外化-组合-内化）56% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/527056

API

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

MCP

get_claim(id=527056)