曝 OpenAI 训练仅 24 天的模型已解决百余道数学长期难题
soumitrashukla9 · x · 2026-09-22
一条被广泛转发的爆料称:OpenAI 一个 24 天前才开始训练的内部模型,已在数学各领域解决了超过 100 个长期悬而未决的公开难题,进展速度连 OpenAI 自己的数学家都感到意外。
由 Edward Witten、Timothy Gowers、Martin Hairer 等顶级数学家组成的独立团队正在协助评估这些结果,并协调如何对外发布。
另外,被引用的 dioscuri(Ryan Greenblatt)评论称,期待这类模型应用于哲学,但他预计衡量进展的标准将是模型「提出了多少问题」而非「解决了多少问题」。
所属事件:OpenAI 称内部模型解决百余个数学开放难题,组建顾问组(39 条相关)→
「模型」频道最新
- Kev 重构至 Qwen3.5,开源小决策模型更新 0.8B/4B/9B 三档 — alexcovo_eth · 2026-09-22
- OpenAI 为何猛攻数学?网友:因为数学最适合 RL 可验证奖励 — burny_tech · 2026-09-22
- 开源决策模型 Laya 移植 Core ML,99.5% 算子跑上 ANE,单次决策 3.7ms — alexcovo_eth · 2026-09-22
- Fireworks 实测:按任务路由 18 个模型,解决率 97.6% 且成本仅 1/3 — sophiamyang · 2026-09-22
- Grok 4.7 发布后评测舆论两极，无人晒真实使用体验 — ns123abc · 2026-09-22
- Grok 4.7 Fast 被曝同模型双倍计价,仅限 Cursor 等渠道 — Daniel_Farinax · 2026-09-22