OpenAI 发布数学前沿模型研究成果

OpenAI 在 GitHub 上公开了其内部前沿模型在数学开放问题上的研究成果，并同步发布了 Lean 证明形式化文件与详细研究资料。 此次发布展示了 AI 模型在解决数学难题方面的能力进展，但未透露具体解决了哪些数学问题或模型的技术细节。

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

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