待验证50% 置信事实精确时间
Gurevich 将抽象状态机概括为三个公设，其中第三个公设（有界探索公设）的成型花了约 15 年。
1
来源数
50%
置信度
长期有效
时效性
2026/10/20
首次发现
来源
算法本质是确定性的：Yuri Gurevich 论辅助计算
youtubeMicrosoft Research2026/10/19
涉及实体
相关事实
待验证图夹心问题的正式表述最早由 Golumbic、Kaplan 和 Shamir 于1995年系统化54% 相似待验证四象限认知框架广为人知的版本来自美国前国防部长拉姆斯菲尔德2002年的即兴表述54% 相似待验证怀尔斯在1993年提交的第一版费马大定理证明包含关于欧拉系统的严重漏洞，耗时一年多与Taylor联合修补完成，最终在1995年完成53% 相似已验证混合专家（Mixture of Experts，MoE）架构最早可追溯至1991年Jacobs等人提出的神经网络集成理论52% 相似待验证'无处不在的计算'（ubiquitous computing）概念由施乐帕洛阿尔托研究中心的马克·韦泽于 1991 年提出51% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/1073061API
curl https://kongchang.com/api/v1/knowledge/claims/1073061MCP
get_claim(id=1073061)