待验证50% 置信事实精确时间
Bass、Connell和Wright在1982年证明了只需验证三次多项式映射的情况即可推广到雅可比猜想的一般情况
1
来源数
50%
置信度
长期有效
时效性
2026/8/24
首次发现
来源
涉及实体
相关事实
待验证CAP定理由Eric Brewer于2000年提出，2002年经Gilbert与Lynch正式证明，指一致性、可用性与分区容错性三者只能取其二67% 相似已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例67% 相似待验证在演示中，Claude通过将显式参数改为隐式参数的重构，意外发现了一个更简洁的证明，将原本三行的证明压缩为一行62% 相似待验证在隐式参数重构过程中，Claude发现了一个更简洁的证明——原来的三行证明被压缩为更短的版本62% 相似待验证CFL（Courant-Friedrichs-Lewy）条件由三位数学家于1928年提出，用于判断显式时间推进格式的稳定性61% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/793777API
curl https://kongchang.com/api/v1/knowledge/claims/793777MCP
get_claim(id=793777)