Unverified50% confidenceFactExact time
L. M. 凯利给出的证明采用极小距离论证，通过选取点到直线距离最小的点-直线配对并结合鸽巢原理导出矛盾
1
Sources
50%
Confidence
Long-term
Relevance
8/8/2026
First Seen
Sources
Related Claims
UnverifiedTerence Tao collaborated with Ben Green to prove the Green-Tao theorem, which states that the prime numbers contain arbitrarily long arithmetic progressions.62% similarUnverified怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设61% similarUnverifiedMathematician Coxeter called Kelly's proof "a proof from The Book."59% similarUnverifiedDuring the demonstration, Claude accidentally discovered a more concise proof through refactoring that changed explicit parameters to implicit parameters, compressing an originally three-line proof into one line.57% similarUnverifiedWiles's proof of Fermat's Last Theorem spans 129 pages, with its core being the establishment of a correspondence between semistable elliptic curves and modular forms (a special case of the Taniyama–Shimura conjecture).57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/705809API
curl https://kongchang.com/api/v1/knowledge/claims/705809MCP
get_claim(id=705809)