GPT-5.6 破解无线通信理论 25 年未解难题
MikePFrank · x · 2026-08-09
网友分享称，GPT-5.6 Sol 和 Fable 5 成功解决了一个困扰无线通信理论领域长达 25 年的开放性问题。另一位博主也跟进了该证明的路线图，指出其证明过程虽然冗长但基于基础理论。
所属事件:OpenAI内部模型连破数学难题，AI证明能力获学界认可(15 条相关)→
「模型」频道最新
- Gemini 4 模型卡披露:模型可省去生物武器研究数月试错 — Puzzleheaded-King584 · 2026-10-16
- 问 AI 要答案永远是 7：Anthropic 工程师谈模型品味趋同陷阱 — rubenhassid · 2026-10-16
- 推ter脑筋急转弯：抠掉 Llama 3 全部权重矩阵还剩几个参数？ — Sauers_ · 2026-10-16
- Lean v4.35.0 自带四个已验证内核，其中之一由 Claude 写成并自证一致 — geoffreyirving · 2026-10-16
- Claude 团队版一个席位被标记，全组织 5 个账号一并冻结 — RexDouglass · 2026-10-16
- Kimi K3 训后检查点表现出色，获赞预训练扎实 — SonglinYang4 · 2026-10-16