36氪新闻
OpenAI发布前沿大模型全新数学能力测试成果
36kr.com模型AI评分：70/100
OpenAI公开其内部前沿大模型生成的数学研究成果，通过GitHub发布包含Lean语言形式化证明的代码库及论文修订规范。单份成果平均消耗算力约等于ChatGPT Pro三小时深度推理时长，展示了模型在复杂逻辑与数学验证方面的能力。
OpenAI正在公开其内部前沿大模型生成的一系列全新数学研究成果，相关内容通过GitHub代码库发布，同时附带了论文修订与引用的规范协议。本次公开的成果包含Lean语言形式化证明，可让数学证明内容直接通过计算机完成校验；单份成果平均消耗的算力，约等于ChatGPT Pro三小时的深度推理时长。（财联社）