Unverified50% confidenceFactExact time
Graham's number comes from an upper bound problem in Ramsey theory about coloring the vertices of a hypercube, and is defined recursively using Knuth's up-arrow notation.
1
Sources
50%
Confidence
Long-term
Relevance
10/13/2026
First Seen
Sources
Related Entities
Related Claims
Unverified龙曲线的豪斯多夫维度为 2，意味着在无穷迭代极限下能完全填充二维平面区域64% similarUnverifiedThe formalization of Fermat's Last Theorem relies heavily on modules in Mathlib such as elliptic curve theory and Galois representation theory.61% similarUnverifiedIn the finite projective plane PG(2,q) (where q is a prime power), every line passes through exactly q+1 points, forming a counterexample that does not satisfy the Sylvester–Gallai property.61% similarUnverifiedSquare markers naturally resolve the flip ambiguity problem through their internally asymmetric binary patterns59% similarUnverified难抵极点从数学本质上等价于求解区域内切圆的圆心，在计算几何中被称为Chebyshev中心问题58% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1019217API
curl https://kongchang.com/api/v1/knowledge/claims/1019217MCP
get_claim(id=1019217)