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

OpenAI正在公开内部前沿大模型生成的一系列数学研究成果，并通过 GitHub 代码库发布。成果包含可由计算机校验的 Lean 语言形式化证明，单份成果平均消耗的算力约相当于 ChatGPT Pro 三小时的深度推理时长。