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

OpenAI 公开其内部前沿大模型生成的一系列全新数学研究成果，相关内容通过 GitHub 代码库发布，附带论文修订与引用的规范协议。本次公开的成果包含 Lean 语言形式化证明，可让数学证明内容直接通过计算机完成校验，单份成果平均消耗的算力约等于 ChatGPT Pro 三小时的深度推理时长。

媒体报道
OPENAI：发布一系列新的数学研究成果。 通过前沿模型发布新的数学成果。 成果由内部前沿模型生成。 华尔街见闻
OpenAI 发布前沿大模型的全新数学能力测试成果‌ 财联社/格隆汇

事件追踪
2026-10-07 OpenAI 发布前沿大模型全新数学能力相关测试成果
2026-09-22 OpenAI 成立独立的数学顾问团队
2026-09-17 OpenAI 前高管团队基于 Kimi 训出万亿参数模型，部分测试超 GPT-6
2026-08-11 OpenAI 全新 GPT Image 模型亮相
2026-08-03 OpenAI 发布报告：Astra 模型攻克十项数学难题
2026-04-21 OpenAI 将于未来数周内发布全新图像模型
2025-12-17 OpenAI：面向所有用户在 ChatGPT 中推出全新图像模型及功能
2025-04-11 OpenAI削减了在人工智能模型安全测试上花费的时间和资源
2024-11-16 Kimi 发布新一代推理模型k0-math，数学能力对标 OpenAI o1 系列
2024-10-25 OpenAI计划在12月前推出其下一代前沿模型Orion

#热门话题