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

Claude此次完成的是费马大定理的形式化翻译工作，而非原创性的数学发现

1

来源数

50%

置信度

长期有效

时效性

2026/9/12

首次发现

来源

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

涉及实体

Claudemodel 费马大定理concept

相关事实

待验证皮埃尔·德·费马在1637年于《算术》一书的页边空白处写下了费马大定理猜想64% 相似待验证图灵奖得主Herbert Simon提出了「有限理性」理论59% 相似待验证Clothoid的数学表达涉及菲涅尔积分，无法用初等函数精确表示，这是其在计算机图形学中未被广泛采用的原因之一59% 相似待验证Tristan Buckmaster等数学家在欧拉方程解的非唯一性方面取得突破性进展，运用凸积分（convex integration）等技术构造出弱解57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/914388

API

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

MCP

get_claim(id=914388)