Unverified50% confidenceFactExact time
Fermat's Last Theorem eluded the mathematics community for 358 years.
1
Sources
50%
Confidence
Long-term
Relevance
9/6/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedThe computer-assisted proof of the four color theorem in 1976 sparked years of controversy in the mathematical community because it contained extensive exhaustive computations that could not be individually verified by hand.70% similarUnverified哈达玛猜想由法国数学家雅克·哈达玛于 1893 年提出，认为当矩阵阶数是 4 的倍数时哈达玛矩阵一定存在，至今未被完全证明67% similarUnverified三体问题对任意初始条件都不存在通用的闭式解，庞加莱在19世纪末通过数学证明揭示了其不可积性64% similarUnverifiedClothoid的数学表达涉及菲涅尔积分，无法用初等函数精确表示，这是其在计算机图形学中未被广泛采用的原因之一61% similarUnverifiedIn 2023, top mathematicians including Terence Tao began using Lean to formalize important theorems.59% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/865930API
curl https://kongchang.com/api/v1/knowledge/claims/865930MCP
get_claim(id=865930)