Unverified50% confidenceFactExact time
Pierre de Fermat wrote down the conjecture of Fermat's Last Theorem in 1637 in the margin of the book Arithmetica.
1
Sources
50%
Confidence
Long-term
Relevance
9/6/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedFermat's Last Theorem eluded the mathematics community for 358 years.72% similarVerified黎曼猜想由数学家黎曼在1859年提出，断言黎曼zeta函数所有非平凡零点的实部均为1/2，是千禧年问题之一65% similarUnverifiedIn 1854, George Boole published The Laws of Thought, expressing logical relationships using algebraic equations (AND corresponding to multiplication, OR to addition, NOT to complementation), proving that logical reasoning could be reduced to symbolic computation.65% similarUnverifiedPhysicist Eugene Wigner published the classic paper "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" in 1960.63% similarUnverifiedThe 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.62% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/866122API
curl https://kongchang.com/api/v1/knowledge/claims/866122MCP
get_claim(id=866122)