就在2026年10月6日，美国开放人工智能中心（OpenAI）在其开源仓库openai/math中，一次性放置了其近些时间通过其前沿模型技术所产出的722篇数学手稿，其中大部分手稿成果均通过Lean验证，这722篇手稿归属于372个成果族，涉及数论、代数几何、调和分析、凸几何、理论计算机科学、算子代数、动力系统、数学物理等多个领域。在这372个成果族中，多项成果如果被数学界承认，那么就足以被称为四大级乃至菲尔兹奖级的结果。 
这些结果来自OpenAI一个尚未公开的内部前沿模型。在整个评测过程中，模型大约被给予了4000个开放研究问题；OpenAI随后对结果进行聚合和筛选，要求达到一定的重要性门槛，最终形成现在的372个成果族。按照OpenAI披露的数据，平均每项成果消耗的推理算力，大致相当于该模型进行约3小时的ChatGPT Pro thinking。 
当OpenAI在其开源仓库中公布这...