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

IronDict 使用多项式承诺构建透明字典；多线性多项式在布尔超立方上的取值唯一确定该多项式，用 PCS 承诺后可在布尔点打开证明某位置的值。

1

来源数

50%

置信度

长期有效

时效性

2026/10/20

首次发现

来源

Aegon：可自审计密钥透明系统如何破解审计难题

涉及实体

IronDictconcept 多项式承诺方案concept

相关事实

待验证费马大定理的最终证明是在代数几何的概形框架下完成的60% 相似待验证怀尔斯的证明核心策略是证明谷山-志村猜想（模定理）的一个特殊情形，即证明每个半稳定椭圆曲线都是模形式的59% 相似待验证正交多项式系统包括勒让德多项式、切比雪夫多项式、埃尔米特多项式等。58% 相似待验证应用数学领域的定理证明往往依赖庞大理论体系，一个定理证明可能需要调用数十个前置引理并横跨多个数学分支56% 相似待验证数学界已有若干重要定理用Lean完成形式化，例如四色定理、费马大定理的局部结果56% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1073073

API

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

MCP

get_claim(id=1073073)