待验证50% 置信事实精确时间
PutnamBench收录的是威廉·洛厄尔·普特南数学竞赛的题目，是衡量自动定理证明能力的经典基准。
1
来源数
50%
置信度
长期有效
时效性
2026/10/20
首次发现
来源
涉及实体
相关事实
待验证1994年，William Thurston在《Bulletin of the American Mathematical Society》上发表《On proof and progress in mathematics》，回应当时关于‘什么是严格证明’的争论。58% 相似待验证《Hacker's Delight》由 Henry S. Warren Jr. 所著，是位运算与整数算术优化领域的经典参考书58% 相似待验证费马大定理由费马在1637年提出，在1995年被安德鲁·怀尔斯证明，困扰数学界358年58% 相似待验证CartPole问题最早可追溯到1960年代的控制理论研究，是验证控制算法稳定性的经典测试平台56% 相似待验证贝叶斯推断是18世纪英国数学家托马斯·贝叶斯提出的统计推断方法56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1073842API
curl https://kongchang.com/api/v1/knowledge/claims/1073842MCP
get_claim(id=1073842)