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

📋总体概括

OpenAI公开其前沿大模型生成的全新数学研究成果，通过GitHub代码库发布，并附带论文修订与引用的规范协议。成果包含Lean语言形式化证明，使数学证明可直接由计算机校验，提升可验证性。据披露，单份成果平均算力消耗约等于ChatGPT Pro三小时的深度推理时长。此举既展示了大模型在高等数学领域的实际研究能力，也通过形式化证明和开放发布方式回应了AI生成科研内容的可信度质疑，是AI参与数学研究的重要标志性动作。