OpenAI 内部新模型数月攻破数百道数十年未解数学难题
kimmonismus · x · 2026-10-07
作者梳理 OpenAI 最新数学成果发布,称多位顶尖数学家确认这是历史性突破。
- OpenAI 仓库现有 722 份手稿、372 个成果族,数百道悬置数十年的难题被新内部模型在极短时间内解决
- 此前报道的 Navier-Stokes 千禧年大奖问题解法也归功于该模型:约 10,000 个并发 agent 运行约 88 小时得出结果,再用 17 小时完成 Lean 形式化验证
- 新一批成果平均算力成本仅相当于 3 小时 ChatGPT Pro thinking,训练始于 8 月 28 日,官方称其能力显著超过 GPT-6 Astra 且训练中仍在持续提升
- 作者判断:「智能爆炸时代」已经到来,没有墙、没有天花板,OpenAI 与 Anthropic 正竞赛式发布科学突破;OpenAI 关停 Sora 网页/App 也被解读为聚焦自动化 AI 研究员的信号
所属事件:OpenAI 开源 722 份前沿模型数学成果引热议(127 条相关)→
「漫话AGI」频道最新
- 欧洲 AI 短板不止模型：算力基建跟不上数月一代的迭代节奏 — ingliguori · 2026-10-07
- 《大空头》原型投资人 Eisman 解读 AI 泡沫将如何破裂 — 233C · 2026-10-07
- 研究「重新定义问题」的智能,米兰四校团队获 100 万欧元资助 — ValerioCapraro · 2026-10-07
- 189 人 VR 实验发现:同为 AI 助手,女性形象获得的信任与分配金额少 10% — derrikson · 2026-10-07
- Scott Alexander 问 Claude:AI 圈争论的「慢起飞」其实意味着几年 — slatestarcodex · 2026-10-07
- 学者激辩：计算机是符号计算器还是大脑能力放大器 — AndrewLampinen · 2026-10-07