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

划分原理（Partition Principle）表述为：如果存在从集合A到集合B的满射，那么B的基数不大于A的基数

1

来源数

50%

置信度

长期有效

时效性

2026/10/9

首次发现

来源

OpenAI与划分原理：AI能否真正理解数学证明

涉及实体

划分原理concept

相关事实

待验证IF 节点是条件判断节点，满足条件执行 A 分支，否则走 B 分支65% 相似待验证两组基B和B'生成同一个格当且仅当存在幺模矩阵U使得B'=UB63% 相似待验证Kern选择直接面向cgroup v2构建，不兼容cgroup v1的复杂逻辑60% 相似待验证支配集是指图中一组节点，使得任意节点要么属于该集合，要么与集合中某节点相邻54% 相似待验证C标准中的未定义行为（UB）涵盖有符号整数溢出、空指针解引用、越界数组访问等操作，C标准对其结果不作任何保证54% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/990072

API

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

MCP

get_claim(id=990072)