OpenAI公布AI数学研究成果及证明材料

10月6日，OpenAI公布内部前沿模型在数学开放问题上取得的新结果，并在GitHub分享Lean证明形式化成果和相关研究细节。10月7日，The Verge报道，这款尚未公开的模型产出了722篇数学手稿，涵盖372个归集相关论文的成果族。独立顾问组AGMAI称，其中包含对“数百个”开放问题的解答。披露材料还包括部分模型推理摘要、计算量估算及尝试解题数量统计，仓库附有论文修订与引用规范。OpenAI称，“平均每项成果”的计算量相当于ChatGPT Pro思考3小时。新增的一手报道补充了此前综述未提及的Lean证明形式化材料。

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

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