OpenAI公开前沿大模型生成的全新数学研究成果

10月7日，OpenAI通过GitHub代码库公开其内部前沿大模型生成的一系列全新数学研究成果，并附带论文修订与引用的规范协议。

本次公开的成果包含Lean语言形式化证明，可让数学证明内容直接通过计算机完成校验。单份成果平均消耗的算力，约等于ChatGPT Pro三小时的深度推理时长。

公开材料显示，这些数学研究成果由OpenAI内部前沿大模型生成；相关成果通过GitHub代码库发布，并同时附带了论文修订与引用的规范协议。