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

费马大定理指当整数n>2时，方程x^n + y^n = z^n没有正整数解

1

来源数

50%

置信度

长期有效

时效性

2026/9/12

首次发现

来源

Claude自主证明费马大定理：AI形式化验证的里程碑突破

涉及实体

费马大定理concept

相关事实

待验证INT8量化将浮点数x映射为 q = round(x/s) + z，其中s是缩放因子，z是零点70% 相似待验证n个顶点的图有2^(n(n-1)/2)种可能构型68% 相似待验证多项式双曲性指多项式的所有零点均为实数66% 相似待验证线性回归系数的闭式解为 β1 = Σ(xi-x̄)(yi-ȳ)/Σ(xi-x̄)²，β0 = ȳ - β1·x̄66% 相似待验证导数的数值近似公式为 (f(a+h)-f(a))/h，源自微积分中极限的定义66% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/914385

API

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

MCP

get_claim(id=914385)