Unverified50% confidenceFactExact time
OpenAI's Navier-Stokes proof repository is licensed under Apache 2.0, built on Lean 4.34 with the Mathlib mathematics library, and has zero sorry statements and zero errors.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
9/22/2026
First Seen
Valid until: 12/21/2026
Sources
Related Entities
Related Claims
Unverified混元HY3正式版以Apache 2.0协议开源70% similarUnverifiedAfter the release of Mojo 1.0 stable, Modular announced the full open-sourcing of the Mojo compiler, standard library, and complete build toolchain under the Apache 2.0 license (with LLVM exception).64% similarUnverifiedShanghai Artificial Intelligence Laboratory released the Intern-S2 Preview 397B open-source model, making all weights available under the Apache 2.0 license.63% similarUnverifiedThe Qwen 2.5 series offers multiple parameter sizes ranging from 0.5B to 72B and adopts the Apache 2.0 open-source license, which permits commercial use.61% similarUnverifiedRootprint is open-sourced under the Apache 2.0 license.61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/941057API
curl https://kongchang.com/api/v1/knowledge/claims/941057MCP
get_claim(id=941057)