[控场AI]
待验证50% 置信事实精确时间

1990 年代末，Gurevich 在微软研究院组建团队开发了 Spec Explorer——基于抽象状态机的高层可执行规格说明工具。

1
来源数
50%
置信度
长期有效
时效性
2026/10/20
首次发现

来源

算法本质是确定性的：Yuri Gurevich 论辅助计算
youtubeMicrosoft Research2026/10/19

涉及实体

Yuri Gurevichperson微软研究院companySpec Explorerproduct

相关事实

待验证微软研究院也在探索自动化科学发现的框架60% 相似待验证微软研究院（Microsoft Research）自1991年成立以来长期引入外部学者开展基础研究60% 相似待验证欧盟要求微软交出高层可执行规格说明而非源代码，Spec Explorer 由此进入核心位置，数百名工程师（多在中国和印度）用其编写协议规格。57% 相似待验证微软正在重构 Windows 搜索，使其从查找工具进化为可直接执行操作的执行工具56% 相似待验证微软有「AI for Health」项目、谷歌有「DeepMind科学团队」、Meta开发了ESM蛋白质语言模型55% 相似

引用此条事实

Stable URI
https://kongchang.com/claim/1073064
API
curl https://kongchang.com/api/v1/knowledge/claims/1073064
MCP
get_claim(id=1073064)