OpenAI 公布内部前沿模型在数学开放问题上的新结果

入选记录

入选两次之和 124 ≥ 门槛的两倍 120

信源等级

官方一手，这一级的门槛是 60 分

预筛

通过：OpenAI前沿模型数学进展及Lean证明

推荐理由

OpenAI 公开内部前沿模型在数学开放问题上的结果与 Lean 形式化证明，可了解其研究路径与开源细节。

评分由模型按同一份标准独立打两次，满分 100；两次之和达到门槛的两倍才入选。门槛按信源等级设定。