OpenAI 发布前沿大模型全新数学能力相关测试成果
2 小时前
OpenAI 公开其内部前沿大模型生成的一系列全新数学研究成果,相关内容通过 GitHub 代码库发布,附带论文修订与引用的规范协议。本次公开的成果包含 Lean 语言形式化证明,可让数学证明内容直接通过计算机完成校验,单份成果平均消耗的算力约等于 ChatGPT Pro 三小时的深度推理时长。
OpenAI 发布又一批 AI 数学研究成果,攻破数百个悬而未决难题
IT 之家 / maomu.com
OpenAI 发布前沿大模型的全新数学能力测试成果
财联社 / 格隆汇
2026-10-07
OpenAI 发布前沿大模型全新数学能力相关测试成果2026-09-22
OpenAI 成立独立的数学顾问团队2026-09-17
OpenAI 前高管团队基于 Kimi 训出万亿参数模型,部分测试超 GPT-62026-08-11
OpenAI 全新 GPT Image 模型亮相2026-08-03
OpenAI 发布报告:Astra 模型攻克十项数学难题2026-04-20
OpenAI 将于未来数周内发布全新图像模型2025-12-17
OpenAI:面向所有用户在 ChatGPT 中推出全新图像模型及功能2025-04-11
OpenAI 削减了在人工智能模型安全测试上花费的时间和资源2024-10-25
OpenAI 计划在 12 月前推出其下一代前沿模型 Orion查看更多
体验专业版特色功能,拓展更丰富、更全面的相关内容。