Readhub
OpenAI 公布 722 篇数学手稿：准黎曼猜想、4D 挂谷猜想均在列
前天
OpenAI 公开其内部前沿大模型生成的一系列全新数学研究成果，相关内容通过 GitHub 代码库发布，附带论文修订与引用的规范协议。本次公开的成果包含 Lean 语言形式化证明，可让数学证明内容直接通过计算机完成校验，单份成果平均消耗的算力约等于 ChatGPT Pro 三小时的深度推理时长。
数学大爆炸，OpenAI 一夜攻克 722 个数学难题，准黎曼猜想已被证明
maomu.com/36Kr
数学大爆炸 OpenAI 一夜攻克 722 个数学难题，准黎曼猜想已被证明
华尔街见闻/maomu.com/新智元
展开全部报道
话题追踪2026-10-09
OpenAI 发布数百份 AI 数学证明 数学家需梳理验证相关成果2026-10-09
OpenAI 发布大量 AI 生成数学成果，含准黎曼猜想相关突破2026-10-07
OpenAI 公布 722 篇数学手稿：准黎曼猜想、4D 挂谷猜想均在列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 削减了在人工智能模型安全测试上花费的时间和资源查看更多
专业版功能体验专业版特色功能，拓展更丰富、更全面的相关内容。