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

1993年Andrew Wiles首次提交的费马大定理证明中被审稿人Nick Katz发现缺陷，后经一年修补成功

1

来源数

50%

置信度

长期有效

时效性

2026/8/10

首次发现

来源

ChatGPT发现黎曼猜想论文错误，作者确认：AI审计学术论文的新范式

相关事实

待验证费马大定理从1637年提出到1995年被Andrew Wiles证明，历时358年73% 相似待验证怀尔斯在1993年提交的第一版费马大定理证明包含关于欧拉系统的严重漏洞，耗时一年多与Taylor联合修补完成，最终在1995年完成72% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在关键漏洞，通过转化为Iwasawa理论框架修补，并于1995年发表完整版本58% 相似待验证第一个量子纠错码由Peter Shor于1995年提出57% 相似已验证BPE（字节对编码）算法最初由Philip Gage于1994年提出，后被Sennrich等人引入NLP领域52% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/722223

API

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

MCP

get_claim(id=722223)