待验证50% 置信事实精确时间
DEC公司的XCON系统鼎盛时期包含超过12,000条规则，维护成本高昂
1
来源数
50%
置信度
长期有效
时效性
2026/7/11
首次发现
来源
Sprout实验：不依赖神经网络的确定性符号推理AI探索
redditr/learnmachinelearning2026/7/10
相关事实
待验证XCON系统帮助DEC公司每年节省数千万美元的计算机配置成本72% 相似待验证商业CAE软件如ANSYS、Abaqus、COMSOL等代码量通常在数百万行以上，开发团队规模达数百人，单个许可证年费可达数万至数十万美元52% 相似待验证Commercial CAE software such as ANSYS, Abaqus, and COMSOL have been developed and iterated over decades, typically containing millions of lines of code with development teams of hundreds of people52% 相似待验证生产级系统提示词长度可达数千甚至上万token51% 相似待验证幻方量化管理规模曾超过千亿人民币51% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/482350API
curl https://kongchang.com/api/v1/knowledge/claims/482350MCP
get_claim(id=482350)