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

OpenAI 正在公开其内部前沿大模型生成的一系列全新数学研究成果，相关内容通过 GitHub 代码库发布，并附带论文修订与引用的规范协议。成果包含 Lean 语言形式化证明，可让数学证明内容直接通过计算机完成校验；单份成果平均消耗的算力约等于 ChatGPT Pro 三小时的深度推理时长。