待验证50% 置信观点精确时间

公开Lean代码让外部研究者能够独立核验OpenAI的结论

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/10/6

首次发现

有效期至：2027/1/4

来源

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

涉及实体

OpenAIcompany Leantechnology

相关事实

已验证开源使模型权重、训练方法和评估结果公开，全球研究者可以独立复现、检验和批判，安全漏洞和偏见问题更容易被发现75% 相似待验证开源模型使得独立的安全研究者无需依赖厂商授权即可开展安全测试工作73% 相似待验证研究团队公开了代码和实验记录（transcripts）供社区独立验证和拓展71% 相似待验证同行评审是由同领域独立专家匿名审查论文的方法论、数据与结论，经修改与复核后才能正式发表的科学筛选机制71% 相似待验证该项目是开放项目，社区成员可在评论区提出希望测试的加速方案，作者会加入测试71% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/982569

API

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

MCP

get_claim(id=982569)