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

皮埃尔·德·费马在1637年于《算术》一书的页边空白处写下了费马大定理猜想

1

来源数

50%

置信度

长期有效

时效性

2026/9/6

首次发现

来源

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

涉及实体

皮埃尔·德·费马person 费马大定理concept

相关事实

待验证费马大定理困扰数学界358年72% 相似已验证黎曼猜想由数学家黎曼在1859年提出，断言黎曼zeta函数所有非平凡零点的实部均为1/2，是千禧年问题之一65% 相似待验证1854年乔治·布尔出版《思维规律研究》，将逻辑关系用代数方程表达（与对应乘法、或对应加法、非对应补集），证明逻辑推理可化约为符号计算65% 相似待验证物理学家尤金·维格纳于1960年发表了经典论文《数学在自然科学中不讲道理的有效性》63% 相似待验证1976年四色定理的计算机辅助证明因包含大量无法逐一人工核查的穷举计算，在数学界引发了长达数年的争议62% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/866122

API

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

MCP

get_claim(id=866122)