就在2026年10月6日，美国开放人工智能中心（OpenAI）在其开源仓库openai/math中，一次性放置了其近些时间通过其前沿模型技术所产出的722篇数学手稿，其中大部分手稿成果均通过Lean验证，这722篇手稿归属于372个成果族，涉及数论、代数几何、调和分析、凸几何、理论计算机科学、算子代数、动力系统、数学物理等多个领域。在这372个成果族中，多项成果如果被数学界承认，那么就足以被称为四大级乃至菲尔兹奖级的结果。 这些结果来自OpenAI一个尚未公开的内部前沿模型。在整个评测过程中，模型大约…