已验证75% 置信事实精确时间

Z3是微软研究院开发的可满足性模理论（SMT）求解器

3

来源数

75%

置信度

长期有效

时效性

2026/8/10

首次发现

来源

Algebruh：用形式化验证工具交叉校验AI算术断言的可靠性

相关事实

待验证Z3求解器由Microsoft Research开发，支持位向量算术、浮点数理论和数组理论等75% 相似待验证ZFS 将卷管理器、RAID 控制器与文件系统三者合一，并通过端到端校验和机制检测并修复位衰减等隐性错误60% 相似待验证德国Konrad Zuse在1941年完成的Z3被认为是世界上第一台可编程的自动计算机59% 相似待验证Qwen3系列原生支持MTP58% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/721294

API

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

MCP

get_claim(id=721294)