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

费马大定理困扰数学界358年

1

来源数

50%

置信度

长期有效

时效性

2026/9/6

首次发现

来源

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

涉及实体

费马大定理concept

相关事实

待验证1976年四色定理的计算机辅助证明因包含大量无法逐一人工核查的穷举计算，在数学界引发了长达数年的争议70% 相似待验证哈达玛猜想由法国数学家雅克·哈达玛于 1893 年提出，认为当矩阵阶数是 4 的倍数时哈达玛矩阵一定存在，至今未被完全证明67% 相似待验证三体问题对任意初始条件都不存在通用的闭式解，庞加莱在19世纪末通过数学证明揭示了其不可积性64% 相似待验证Clothoid的数学表达涉及菲涅尔积分，无法用初等函数精确表示，这是其在计算机图形学中未被广泛采用的原因之一61% 相似待验证2023年陶哲伦等顶级数学家已开始使用Lean来形式化重要定理59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/865930

API

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

MCP

get_claim(id=865930)