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

怀尔斯的证明核心策略是证明谷山-志村猜想（模定理）的一个特殊情形，即证明每个半稳定椭圆曲线都是模形式的

1

来源数

50%

置信度

长期有效

时效性

2026/9/6

首次发现

来源

费马大定理机器验证完成：AI形式化证明的里程碑突破

涉及实体

安德鲁·怀尔斯person 谷山-志村猜想concept

相关事实

待验证安德鲁·怀尔斯证明费马大定理的核心工具谷山-志村猜想是朗兰兹纲领的一个特殊情形77% 相似待验证Wiles对费马大定理的证明长达129页，核心是建立半稳定椭圆曲线与模形式之间的对应关系（谷山-志村猜想的特殊情形）75% 相似待验证极限环是庞加莱-本迪克松定理所描述的二维非线性系统的典型吸引子之一72% 相似待验证AI帮助发现Kazhdan-Lusztig多项式的组合结构规律，该发现后来被Geordie Williamson等人严格证明69% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设67% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/866123

API

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

MCP

get_claim(id=866123)