OpenAI 发布前沿大模型全新数学能力测试成果
原文标题：OpenAI发布前沿大模型的全新数学能力测试成果
重要度 4/5 · AI 综合评估报道影响力与新鲜度，4–5 分为高价值资讯。
AI 智能摘要
OpenAI 通过 GitHub 代码库公开其内部前沿大模型生成的一系列全新数学研究成果，并附带论文修订与引用的规范协议。成果包含 Lean 语言形式化证明，可让数学证明直接通过计算机校验。单份成果平均消耗算力约等于 ChatGPT Pro 三小时深度推理时长。
AI 处理过程展开/收起
原始标题：OpenAI发布前沿大模型的全新数学能力测试成果
AI 中文标题：OpenAI 发布前沿大模型全新数学能力测试成果
来源：36氪 · 发布于 26 天前
分类：大模型 · AI 重要度：★ 4（4）
标签：数学推理 / 形式化证明 / Lean / 算力消耗
关键词：OpenAI / Lean / formal proof / math reasoning
相关推荐
量子位·4 天前★ 5
谷歌 Gemini 4 Carbon 全面超越 Opus 5.5，首发 Token 半价
AI 摘要谷歌发布 Gemini 4 Carbon，宣称在多项能力上全面超越 Opus 5.5，并推出首发 Token 半价优惠。该模型可连续数日修复 Bug，且具备免疫提示词注入的安全特性，加剧头部大模型竞争。
#大模型
The Verge AI·4 天前★ 5
谷歌发布 Gemini 4 Carbon，主打网络安全能力跃升
AI 摘要谷歌推出前沿模型 Gemini 4 Carbon，在编程、智能体任务和网络安全方面显著提升，登顶 Artificial Analysis 智能指数，领先 Claude Opus 5.5 与 GPT-6 Astra。该模型目前仅向部分网络安全防御公司开放，定价与 Argon 相同，为每百万输入 token 2 美元、输出 10 美元。
#大模型
量子位·17 天前★ 5
谷歌发布 Gemini 4，API 限时半价
AI 摘要谷歌正式发布 Gemini 4，被视为重回大模型第一梯队的关键动作，同时推出 API 限时半价优惠。该发布对模型竞争格局与开发者成本结构均有直接影响。
#大模型
The Verge AI·18 天前★ 5
谷歌 Meta 发布前沿模型，AI 竞赛重启
AI 摘要谷歌发布 Gemini 4 Argon，Meta 推出新前沿模型，两家公司声称可与 OpenAI 和 Anthropic 的旗舰模型匹敌。谷歌以激进定价策略切入市场，入门期价格比竞争对手低至80%。AI 前沿竞争格局重新洗牌。
#大模型