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

OpenAI将相关的Lean证明形式化代码与研究细节公开到GitHub

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/6

首次发现

有效期至：2027/1/4

来源

OpenAI公布数学突破：前沿模型攻克开放难题并开源Lean证明

涉及实体

OpenAIcompany GitHubproduct Leantechnology

相关事实

待验证阿里巴巴在GitHub上开源了名为open-code-review的代码审查工具78% 相似待验证OpenAI的Lean形式化证明代码（如NavierStokesR3ProblemStatement.lean）已发布在GitHub上，目前证明正确性仍待学术社区独立验证78% 相似已验证GitHub Copilot基于OpenAI Codex模型，专注于行级和函数级代码补全77% 相似待验证开源代码公开托管在 GitHub 上使得第三方可以审计并验证代码行为是否与宣传一致76% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/982564

API

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

MCP

get_claim(id=982564)