待验证50% 置信事实精确时间
Alpha-Beta剪枝通过维护α和β边界值剪除无用分支，理论上可将搜索节点数从O(b^d)压缩至O(b^(d/2))
1
来源数
50%
置信度
长期有效
时效性
2026/7/7
首次发现
来源
Python实战教程：用Pygame从零打造五子棋对战游戏
bilibili学习python物资2026/7/6
相关事实
待验证Eckart-Young定理保证截断SVD是Frobenius范数意义下的最优秩r近似53% 相似待验证FP8存在两种变体：E4M3（4位指数+3位尾数）精度更高适合前向推理，E5M2（5位指数+2位尾数）动态范围更大适合梯度计算52% 相似待验证Q4_K_M采用分组量化策略，将权重张量划分为64或256维子块并独立计算缩放因子与零点，能将困惑度损失控制在1–3%以内51% 相似待验证DS Spark的Markov head采用Rank 256低秩矩阵实现顺序条件依赖，额外计算开销压缩在1%量级以内51% 相似待验证INT4量化将原本由65536个不同值（FP16）表示的权重压缩到仅16个离散级别50% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/177413API
curl https://kongchang.com/api/v1/knowledge/claims/177413MCP
get_claim(id=177413)