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

状态爆炸问题最早由Edmund Clarke等人在1981年提出模型检验理论时系统性描述

1

来源数

50%

置信度

长期有效

时效性

2026/7/16

首次发现

来源

AI Agent失控怎么办？一套可追溯系统的实践与思考

相关事实

待验证认知科学家 Philip Johnson-Laird 在1983年进一步发展了心智模型理论，指出心智模型允许人类进行离线推理59% 相似待验证阿兰·阿斯佩在1982年进行了验证量子纠缠的实验58% 相似待验证检查点机制的理论基础可追溯至1985年由Chandy和Lamport提出的分布式快照算法57% 相似待验证论文首次提出模型在反直觉场景中的谬误与反物理失败在本质上是同源的57% 相似待验证多智能体系统的学术根基可追溯至1980年代的分布式人工智能研究，早期代表性工作包括Carl Hewitt于1973年提出的Actor模型和Victor Lesser主导的DVMT57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/533799

API

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

MCP

get_claim(id=533799)