前沿大模型连破数学与通信领域多年未解难题

近期，OpenAI的内部未公开模型（包括Astra、GPT-5.6和Claude Fable等）在基础科学领域展现出惊人的解题能力，接连攻克了多个长期悬而未决的数学与理论计算机难题，引发学术界高度关注。

已确认

• 攻克十大难题：据Scott Aaronson等人透露，OpenAI内部模型已解决十个重大开放性问题，涵盖几何学、编码理论、量子复杂性及保罗·埃尔德什1946年提出的“单位距离”猜想等。
• 解决通信悬案：前沿大模型（如GPT-5.6和Claude Fable）成功解决了自2000年起困扰无线通信领域25年的MIMO检测难题，即在N×N高斯信道中信噪比至少为2 log N时，实现完美传输的多项式时间算法。
• 学界高度评价：数学家陶哲轩等人对AI的证明给予肯定，认为其完全正确，成果达到《Inventiones》或STOC最佳论文级别。

尚未确认

• 结果仍在复核：尽管AI给出的证明在根本上被认为完全正确，但这些突破性成果目前仍处于内部复核阶段，尚未经过正式的同行评议。
• 模型版本存疑：帖文中提及的GPT-5.6、Claude Fable以及Astra等模型的具体细节与能力边界尚不明确，部分可能为代称或内部测试版本。

为什么重要

这一系列突破标志着大语言模型已不再局限于知识检索，而是展现出引导探索高维知识空间和解决前沿科研瓶颈的实质性能力。AI正在成为基础理论研究的有力工具，有望大幅加速数学与理论计算机科学的发展进程。

2026-08-07 ~ 2026-08-09 · 11 条相关

• 【源头】Quanta长文：AI为何总能攻克传奇的埃尔德什数学难题 — theomitsa · 2026-08-07
• OpenAI 曝内部 Astra 模型连克十大数学与计算难题 — AxSaucedo · 2026-08-08
• OpenAI 发布连续语音对话，Astra 惊艳数学推理 — eyishazyer · 2026-08-08
• 【源头】AI解决无线通信领域25年未解问题：多项式时间算法问世 — DimitrisPapail · 2026-08-09
• AI 解决 25 年悬而未决的无线通信数学难题 — DimitrisPapail · 2026-08-09
• AI 解决 25 年无线通信理论难题，暴力组合也能做科研 — DimitrisPapail · 2026-08-09
• 大模型攻克无线通信领域 25 年悬案，AI 证明能力再突破 — DimitrisPapail · 2026-08-09
• 突破瓶颈：AI 成功解决搁置 25 年的通信理论难题 — murat_kocaoglu_ · 2026-08-09
• 数学家解读 OpenAI 求解成果：正确但缺乏底层理论创新 — littmath · 2026-08-09
• 【源头】曝 OpenAI 内部模型连破十余项数学难题，AI 辅助证明引发热议 — jiaxinwen22 · 2026-08-09
• AI 攻克 25 年无线通信理论难题：高斯信道完美传输获证 — DimitrisPapail · 2026-08-09