Unverified50% confidenceFactExact time
PutnamBench contains problems from the William Lowell Putnam Mathematical Competition and is a classic benchmark for measuring automated theorem proving capability.
1
Sources
50%
Confidence
Long-term
Relevance
10/20/2026
First Seen
Sources
Related Entities
Related Claims
UnverifiedIn 1994, William Thurston published "On proof and progress in mathematics" in the Bulletin of the American Mathematical Society, responding to the debate at the time about "what constitutes a rigorous proof."58% similarUnverifiedHacker's Delight, authored by Henry S. Warren Jr., is a classic reference in the field of bit manipulation and integer arithmetic optimization.58% similarUnverifiedFermat's Last Theorem was proposed by Fermat in 1637, proved by Andrew Wiles in 1995, and had puzzled the mathematical community for 358 years.58% similarUnverifiedCartPole问题最早可追溯到1960年代的控制理论研究，是验证控制算法稳定性的经典测试平台56% similarUnverifiedBayesian inference is a statistical inference method proposed by 18th-century British mathematician Thomas Bayes.56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1073842API
curl https://kongchang.com/api/v1/knowledge/claims/1073842MCP
get_claim(id=1073842)