OpenAI分享数学开放问题研究成果

OpenAI公布其内部前沿模型在数学开放问题上的新结果，并在 GitHub 分享相关 Lean 证明形式化与研究细节。现有材料为摘要，未说明具体开放问题、模型名称、结果范围或代码许可，因此不能据此判断成果覆盖范围及其验证程度。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。