待验证50% 置信事实精确时间
当语言引入子类型、可变引用或效应系统时，完整的类型推导会变得不可判定（undecidable）
1
来源数
50%
置信度
长期有效
时效性
2026/7/19
首次发现
来源
相关事实
待验证自动类型推断是便利性与正确性之间的工程权衡，对数字形式文本语义的字段几乎必然出错71% 相似待验证大语言模型的输出天然具有看起来合理的特性（fluency bias流畅性偏差），即便推理链条出错，生成的自然语言仍然语法正确、语气自然，使传统的基于输出格式或异常捕获的监控手段失效70% 相似待验证触发词应选用不存在于基础模型词汇表中的无意义字符串，若选用普通单词会与其原有语义纠缠导致特征激活不纯粹69% 相似待验证代码的语义结构与自然语言存在本质差异，导致嵌入模型难以准确保留标识符命名、调用关系、作用域等信息66% 相似已验证当前大语言模型在系统编程领域呈现出高频知识强、长尾知识弱的特征，对边缘语义和特定版本兼容性行为倾向于合理推断而非严格遵循规范66% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/563808API
curl https://kongchang.com/api/v1/knowledge/claims/563808MCP
get_claim(id=563808)