数学家解读 OpenAI 求解成果：正确但缺乏底层理论创新
littmath · x · 2026-08-09
数学家陶哲轩等人对 OpenAI 近期解决复杂数学难题的表现进行了深入解读。他们肯定了模型给出的数学证明在根本上完全正确，认为其成果达到了顶级学术期刊（如 Inventiones）或 STOC 最佳论文的级别。
但专家也指出，AI 目前仍缺乏开创全新数学理论的能力。以非 sofic 群问题为例，模型是通过极其巧妙地组合应用人类数学家（如 Kun 和 Thom）已有的深厚定理来给出最终答案，属于为长期的研究进程画上点睛之笔，而非从零构建新理论。
所属事件:OpenAI内部模型连破数学难题，AI证明能力获学界认可(15 条相关)→
「模型」频道最新
- GPT-6 Sol 开药水店零失误，推理摘要却把库存当成自身属性 — liminal_bardo · 2026-10-16
- willcb 谈 Opus 5.5：不是参数变大，而是数据修好了 — willcb · 2026-10-16
- 曝 Apple 与 Meta 合作：816B 参数模型 Muse Spark Open 可跑在 Mac Studio — TansuYegen · 2026-10-16
- 法国开发者力挺 Mistral：ML4 万亿参数 MoE 未训完已比肩开源前列 — blakesnake86 · 2026-10-16
- Claude Opus 6 EAP 检查点现身，GPT-6.1 Astra 与 MAI-Base-2 泄露汇总 — WorldofAI · 2026-10-16
- Gemini 4 模型卡披露:模型可省去生物武器研究数月试错 — Puzzleheaded-King584 · 2026-10-16