OpenAI公开722篇数学手稿意味什么？

10月7日，OpenAI在GitHub上一次性公开了722篇的数学手稿，归入到372个结果族，覆盖了数论、几何等17个领域。

这些成果出自一个还没有发布的内部模型，平均每项消耗算力约等于ChatGPT Pro思考的三小时。

编号003的手稿将准黎曼猜想的无零点区域推进到实部大于7/8，黎曼猜想的终点在1/2。

全部722篇中，有Lean形式化证明支撑的仅约162篇，约每五篇一篇。

OpenAI同步撤回了3份手稿，其中一份因“证明存在符号错误”。

普林斯顿高等研究院顾问小组称，这是数学史上的重要时刻，但是强调发布只是开始而不是结束。

产出速度与验证速度的断裂，才是这批手稿真正提出的问题。AI花3小时写出的证明，人类数学家需要多久才能读懂？

你愿意花时间去读一篇AI写的数学证明吗？