待验证50% 置信事实精确时间
OpenAI的Lean形式化证明代码（如NavierStokesR3ProblemStatement.lean）已发布在GitHub上，目前证明正确性仍待学术社区独立验证
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/11
首次发现
有效期至：2026/12/10
来源
涉及实体
相关事实
待验证论文配套代码已在GitHub开源，仓库地址为 https://github.com/SakanaAI/sparser-faster-llms67% 相似待验证阿里巴巴在GitHub上开源了名为open-code-review的代码审查工具66% 相似待验证Squint项目代码已在GitHub公开（github.com/aalmuzairee/squint），论文发布于arXiv65% 相似待验证SWE-bench从主流Python开源项目提取真实GitHub Issue，要求模型生成能通过官方测试套件的代码补丁63% 相似待验证MixupMP论文的源代码已在GitHub上开源63% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/896210API
curl https://kongchang.com/api/v1/knowledge/claims/896210MCP
get_claim(id=896210)