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

📋总体概括

OpenAI公开其内部前沿大模型生成的全新数学研究成果，通过GitHub代码库发布，并附带论文修订与引用规范协议。成果采用Lean语言形式化证明，数学证明可由计算机直接校验，杜绝人工验证的主观性。据披露，生成单份成果平均消耗算力约等于ChatGPT Pro三小时的深度推理时长。这是大模型在数学原创研究能力上的重要展示，也表明AI正从辅助工具走向可产出可验证科研产出的新阶段。