曝 OpenAI 新模型训练仅 24 天已解决百余个数学开放难题
BilelKort · reddit · 2026-09-22
据传 OpenAI 于 8 月 28 日开始训练一个新内部模型，仅 24 天后该模型已据称解决了跨多个领域的 100+ 个长期悬而未决的数学开放问题，此前还宣布了在 Navier–Stokes 千禧年大奖难题上的工作，连 OpenAI 内部的数学家都对进度感到惊讶。
据报道，一个由 Edward Witten、Timothy Gowers、Martin Hairer 等顶级数学家参与的独立顾问小组已经成立，负责评估这些结果的重要性并协调向数学界发布，其当前挑战正是模型产出的「大量重要成果」难以消化。
发帖人指出真正的问题正在转变：不再是「AI 能否解出困难数学」，而是「当 AI 产出的新数学多到人类无法验证时怎么办」。当然，这些说法仍需严格的独立验证——数学界只认经受专家审查的证明。
「模型」频道最新
- 小米 MiMo 2.6 Pro 协助完成李-约克定理 Lean 形式化，超 6000 行代码 — bookwormengr · 2026-09-22
- 首个古希腊语大模型 Apollo 诞生,专修残破莎草纸文献 — nordicinst · 2026-09-22
- Two Minute Papers 解读 Jev：宣称让 AI 提速 200 倍但有代价 — Two Minute Papers · 2026-09-22
- 针对特定任务,LLM 之外存在更便宜更有效的技术 — evilsocket · 2026-09-22
- cloneofsimo:学界严重低估 OpenAI 数学 Agent 已解决的问题量 — cloneofsimo · 2026-09-22
- KDDI 创始人实测：让 AI 自评新旧输出质量，性能自动回稳 — i_dg23 · 2026-09-22