资讯池
OpenAI发布前沿大模型的全新数学能力测试成果
日期: 2026-10-07 06:26来源: 财联社电报域名: cls.cn
溯源
重要性：背景级 · 50·对象槽：unmatched·对象关系：sector_transmission·影响对象：sector:AI、sector:算力、sector:大模型·来源/栏目：财联社·抓取时间：2026-10-07 06:39:02·信任分层：优先源
【OpenAI发布前沿大模型的全新数学能力测试成果】财联社10月7日电，OpenAI正在公开其内部前沿大模型生成的一系列全新数学研究成果，相关内容通过GitHub代码库发布，同时附带了论文修订与引用的规范协议。本次公开的成果包含Lean语言形式化证明，可让数学证明内容直接通过计算机完成校验；单份成果平均消耗的算力，约等于ChatGPT Pro三小时的深度推理时长