Unverified50% confidenceFactExact time
This achievement builds on three centuries of accumulated mathematical work and the contributions of hundreds of Lean and Mathlib community contributors.
1
Sources
50%
Confidence
Long-term
Relevance
9/13/2026
First Seen
Sources
Related Entities
Related Claims
Unverified群论由埃瓦里斯特·伽罗瓦在 19 世纪初创立，最初用于研究多项式方程的可解性62% similarUnverifiedThe statement is written primarily for the mathematics community.60% similarUnverified合成数据的学术根源可追溯至1993年统计学家Donald Rubin提出的多重插补理论60% similarUnverifiedThe Monte Carlo method originated in the 1940s during the Manhattan Project and was developed by mathematicians Stanislaw Ulam and John von Neumann at Los Alamos National Laboratory.58% similarUnverified西尔维斯特（1814-1897）与阿瑟·凯莱共同创立了矩阵理论和不变量理论，并在约翰斯·霍普金斯大学创办了美国第一本纯数学期刊《美国数学杂志》58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/919128API
curl https://kongchang.com/api/v1/knowledge/claims/919128MCP
get_claim(id=919128)