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

OpenAI此次开源同时公开了证明代码和形式化验证的脚手架，供第三方独立验证

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/22

首次发现

有效期至：2026/12/21

来源

OpenAI公开数学证明：4款开源AI数学工具本地就能跑

涉及实体

相关事实

待验证OpenAI用Lean形式化证明语言将Navier-Stokes相关问题的证明完整开源并放到GitHub77% 相似待验证开源软件的核心价值在于代码的公开可审计性，任何人都可以通过阅读源代码验证程序的实际行为76% 相似已验证OpenAI提供了开源工具tiktoken，开发者可以在调用API前预先估算Token数量74% 相似待验证OpenID Connect Certified 需要通过 OpenID Foundation 提供的一致性测试套件正式验证，确认授权流程正确性、令牌处理合规和互操作性73% 相似待验证OpenAI采用服务端自动识别缓存策略，对开发者透明72% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/941055

API

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

MCP

get_claim(id=941055)