Unverified50% confidenceFactExact time
1993年Andrew Wiles首次提交的费马大定理证明中被审稿人Nick Katz发现缺陷，后经一年修补成功
1
Sources
50%
Confidence
Long-term
Relevance
8/10/2026
First Seen
Sources
ChatGPT发现黎曼猜想论文错误，作者确认：AI审计学术论文的新范式
Related Claims
UnverifiedFermat's Last Theorem took 358 years from its proposal in 1637 to its proof by Andrew Wiles in 199573% similarUnverifiedThe first version of Wiles's proof of Fermat's Last Theorem, submitted in 1993, contained a serious gap concerning Euler systems, which took over a year to fix in collaboration with Taylor, with the final version completed in 1995.72% similarUnverifiedAfter Wiles submitted his proof of Fermat's Last Theorem in 1993 and a critical flaw was found, the proof was repaired by converting it to an Iwasawa theory framework, and the complete version was published in 1995.58% similarUnverified第一个量子纠错码由Peter Shor于1995年提出57% similarVerifiedThe BPE (Byte Pair Encoding) algorithm was originally proposed by Philip Gage in 1994 and was later introduced into the NLP field by Sennrich et al.52% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/722223API
curl https://kongchang.com/api/v1/knowledge/claims/722223MCP
get_claim(id=722223)