待验证50% 置信预测精确时间

BB(10) 的具体值永远无法被人类算出，因为算出它就等于解决了停机问题的一个实例。

1

来源数

50%

置信度

长期有效

时效性

2026/10/13

首次发现

来源

BB(10) 超越葛立恒数：忙碌海狸问题的里程碑

涉及实体

忙碌海狸函数concept 停机问题concept

相关事实

待验证评估运行在内存中进行，当某个用例声明没有预期时打分器报告「未测量」而非给出满分，六个合成用例无法确立准确性61% 相似待验证若没有任何阈值能在合理召回下达到目标精确率，问题不在阈值，而需要重排序器或更好的分块57% 相似待验证掌握度阈值不是一个可以跨模型复用的魔法数字57% 相似待验证严格解析器出现的大面积失败多数并非源于模型推理错误，而是因为乘法形式的科学计数法落在了所实现的数字文法之外57% 相似待验证如果转换环节不理解格式与值的分离，LLM拿到的将是毫无意义的五位数字，无法进行有效推理56% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1019220

API

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

MCP

get_claim(id=1019220)