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

英国数学家安德鲁·怀尔斯在1994年给出了费马大定理的完整证明

1

来源数

50%

置信度

长期有效

时效性

2026/9/7

首次发现

来源

费马大定理形式化：Lean 4如何验证数学史上最难证明

涉及实体

安德鲁·怀尔斯person 费马大定理concept

相关事实

待验证数学家科克斯特称凯利的证明为「来自天书的证明」67% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设66% 相似待验证安德鲁·怀尔斯证明费马大定理的核心工具谷山-志村猜想是朗兰兹纲领的一个特殊情形66% 相似待验证肯尼斯·里贝特在1986年基于格哈德·弗莱的工作建立了弗莱-里贝特定理，证明了谷山-志村猜想蕴含费马大定理65% 相似待验证Wiles对费马大定理的证明长达129页，核心是建立半稳定椭圆曲线与模形式之间的对应关系（谷山-志村猜想的特殊情形）64% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/870170

API

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

MCP

get_claim(id=870170)