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

L. M. 凯利给出的证明采用极小距离论证，通过选取点到直线距离最小的点-直线配对并结合鸽巢原理导出矛盾

1

来源数

50%

置信度

长期有效

时效性

2026/8/8

首次发现

来源

西尔维斯特-加莱定理：为什么有限点集必存在普通直线

相关事实

待验证陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理62% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设61% 相似待验证数学家科克斯特称凯利的证明为「来自天书的证明」59% 相似待验证在演示中，Claude通过将显式参数改为隐式参数的重构，意外发现了一个更简洁的证明，将原本三行的证明压缩为一行57% 相似待验证Wiles对费马大定理的证明长达129页，核心是建立半稳定椭圆曲线与模形式之间的对应关系（谷山-志村猜想的特殊情形）57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/705809

API

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

MCP

get_claim(id=705809)