待验证50% 置信预测精确时间

de Moura设想未来可以要求Intel、AMD发布微处理器的官方形式化规范以缩短信任链

1

来源数

50%

置信度

长期有效

时效性

2026/10/3

首次发现

来源

Lean之父Leo de Moura深度访谈：当AI开始攻击数学证明内核

涉及实体

Leo de Mouraperson Intelcompany AMDcompany

相关事实

待验证Intel和AMD均在企业级服务器文档中承认特定微架构版本存在已知的SDC风险，并通过微码更新加以修复64% 相似待验证Intel在奔腾浮点漏洞后大规模引入形式化验证用于硬件芯片设计63% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/969555

API

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

MCP

get_claim(id=969555)