Unverified50% confidenceReleaseExact time
OpenAI fully open-sourced a proof related to the Navier-Stokes problem using the Lean formal verification language and published it on GitHub.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/22/2026
First Seen
Valid until: 12/21/2026
Sources
Related Entities
Related Claims
UnverifiedThe researchers claimed they ultimately gained access to OpenAI's GitHub repository known as Monorepo, which allegedly contains OpenAI's algorithmic secrets78% similarUnverifiedOpenAI和Anthropic的大模型都大量使用了GitHub开源代码、Stack Overflow问答、技术文档等公开数据进行训练78% similarUnverifiedIn this open-source release, OpenAI also made public both the proof code and the formal verification scaffolding for independent third-party verification.77% similarVerifiedOpenAI provides the open-source tool tiktoken, which allows developers to estimate token counts before calling the API.74% similarUnverifiedopen-code-review is compatible with both the OpenAI and Anthropic API protocols.73% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/941054API
curl https://kongchang.com/api/v1/knowledge/claims/941054MCP
get_claim(id=941054)