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

这项成果建立在三个世纪数学家的积累以及数百位Lean和Mathlib社区贡献者的工作之上

1

来源数

50%

置信度

长期有效

时效性

2026/9/13

首次发现

来源

Claude完成费马大定理首个形式化证明：1300万行Lean代码创纪录

涉及实体

Leanproduct Mathlibproduct

相关事实

待验证群论由埃瓦里斯特·伽罗瓦在 19 世纪初创立，最初用于研究多项式方程的可解性62% 相似待验证该声明主要面向数学共同体撰写60% 相似待验证合成数据的学术根源可追溯至1993年统计学家Donald Rubin提出的多重插补理论60% 相似待验证蒙特卡洛方法起源于20世纪40年代曼哈顿计划期间，由数学家斯坦尼斯拉夫·乌拉姆和约翰·冯·诺伊曼在洛斯阿拉莫斯国家实验室开发58% 相似待验证西尔维斯特（1814-1897）与阿瑟·凯莱共同创立了矩阵理论和不变量理论，并在约翰斯·霍普金斯大学创办了美国第一本纯数学期刊《美国数学杂志》58% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/919128

API

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

MCP

get_claim(id=919128)