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

Gerver对沙发最优性的证明至今未被完全严格验证。

1

来源数

50%

置信度

长期有效

时效性

2026/10/24

首次发现

来源

PPO算法破解移动沙发难题，重建Gerver最优解

涉及实体

Joseph Gerverperson 移动沙发问题concept

相关事实

待验证CDC猜想至今没有任何被数学界认可的完整证明，依然是公认的开放猜想55% 相似待验证即使Lean形式化验证通过，也不能保证原始证明是正确的55% 相似待验证该哈佛研究是尚未经过同行评议的预印本，其结论应视为初步证据而非定论。52% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1092475

API

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

MCP

get_claim(id=1092475)