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

莱斯定理指出对于图灵完备语言，任何非平凡的语义属性在一般情况下都是不可判定的，这构成静态分析工具的核心理论限制

1

来源数

50%

置信度

长期有效

时效性

2026/9/12

首次发现

来源

Ito：会运行代码的AI代码审查工具，用运行时证据取代猜测

涉及实体

莱斯定理concept 静态分析concept

相关事实

待验证纯演绎路径可能遗漏语料中独有的框架，纯归纳路径缺乏理论参照易陷入主观性和不可复制性72% 相似待验证通用大语言模型在严格逻辑推理上仍有明显短板，会幻觉出看似合理但实际错误的证明步骤72% 相似待验证纯向量检索只能衡量语义临近，无法建立实体之间的显式逻辑关联，难以处理跨文档综合推理问题70% 相似待验证对齐悖论指若模型真实理解比其能输出的语言更精细，则基于语言输出的对齐评估可能无法真正捕捉模型内部状态的对齐程度70% 相似待验证符号主义AI的核心局限在于脆性（Brittleness），能在定义明确的规则域内表现优异，却对规则之外的开放场景束手无策69% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/914666

API

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

MCP

get_claim(id=914666)