待验证60% 置信事实精确时间

循环双覆盖猜想由Szekeres于1973年、Seymour于1979年分别独立提出，悬而未决超过50年

2

来源数

60%

置信度

长期有效

时效性

2026/7/16

首次发现

来源

GPT-5.6能证明50年图论猜想吗？AI数学推理的边界与验证

相关事实

已验证Cycle Double Cover猜想由Seymour和Szekeres分别在1979年独立提出84% 相似待验证圈双覆盖猜想由威廉·塔特和保罗·西摩等人在上世纪70年代独立提出70% 相似待验证双流模型由Ungerleider与Mishkin在1982年提出57% 相似待验证80年代专家系统因规则库维护成本失控、无法处理常识推理而衰落，导致1987-1993年的第二次AI寒冬51% 相似待验证后见之明偏误最早由心理学家Baruch Fischhoff在1975年系统描述51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/528422

API

curl https://kongchang.com/api/v1/knowledge/claims/528422

MCP

get_claim(id=528422)