OpenAI发布前沿大模型的全新数学能力测试成果‌

📋总体概括

OpenAI公开其内部前沿大模型生成的一系列全新数学研究成果，通过GitHub代码库发布，并附带论文修订与引用规范协议。成果包含用Lean语言完成的形式化数学证明，使证明内容可直接由计算机自动校验，规避人工审稿的主观性。据披露，单份成果平均消耗的算力约等于ChatGPT Pro三小时的深度推理时长。这是AI深度推理能力在纯数学研究领域的罕见公开落地展示，标志着大模型开始产出可被形式化验证的原创数学内容，而非仅停留在问答层面。