Unverified50% confidenceFactExact time
Mathematician Paul Erdős proposed that God has a book (The Book) containing the most elegant proof of every theorem
1
Sources
50%
Confidence
Long-term
Relevance
8/9/2026
First Seen
Sources
AI攻克25年数学难题：人工智能如何改变数学研究
Related Claims
UnverifiedMathematician Coxeter called Kelly's proof "a proof from The Book."69% similarUnverified书籍能提供严谨的理论框架如线性代数、概率论、优化理论，这些数学基础的有效期远长于具体工具框架57% similarUnverified安德鲁·怀尔斯证明费马大定理的核心工具谷山-志村猜想是朗兰兹纲领的一个特殊情形57% similarUnverifiedWiles's proof of Fermat's Last Theorem spans 129 pages, with its core being the establishment of a correspondence between semistable elliptic curves and modular forms (a special case of the Taniyama–Shimura conjecture).56% similarUnverified数学家Timothy Gowers曾区分'理解性证明'（illuminating proof）与'验证性证明'（verifying proof）56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/721073API
curl https://kongchang.com/api/v1/knowledge/claims/721073MCP
get_claim(id=721073)