待验证50% 置信发布精确时间

OpenAI用Lean形式化证明语言将Navier-Stokes相关问题的证明完整开源并放到GitHub

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/9/22

首次发现

有效期至：2026/12/21

来源

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

涉及实体

OpenAIcompany Leantechnology Navier-Stokesconcept GitHubproduct

相关事实

待验证研究人员声称最终得以访问OpenAI名为Monorepo的GitHub代码仓库，该仓库据称包含OpenAI的算法机密78% 相似待验证OpenAI和Anthropic的大模型都大量使用了GitHub开源代码、Stack Overflow问答、技术文档等公开数据进行训练78% 相似待验证OpenAI此次开源同时公开了证明代码和形式化验证的脚手架，供第三方独立验证77% 相似已验证OpenAI提供了开源工具tiktoken，开发者可以在调用API前预先估算Token数量74% 相似待验证open-code-review同时兼容OpenAI和Anthropic的API协议73% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/941054

API

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

MCP

get_claim(id=941054)