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

OpenAI公开其内部前沿大模型生成的全新数学研究成果，相关内容已上线GitHub代码库，附带论文修订与引用规范协议，成果包含Lean语言形式化证明，可实现数学证明的计算机自动校验。