大模型攻克无线通信领域 25 年悬案，AI 证明能力再突破
DimitrisPapail · x · 2026-08-09
一位学者分享了其 25 年前曾参与研究的无线通信开放性理论问题，近期在使用 GPT-5.6 和 Claude Fable 等前沿大模型后，似乎成功找到了该问题的解答。
这一突破表明，大模型不仅能作为知识检索工具，在引导探索高维知识空间和解决复杂的理论数学推导方面也展现出巨大潜力。不过，也有学者指出，尽管 AI 能在现有维度内进行推理和证明，但它本身仍难以创造出全新的数学理论。
所属事件:OpenAI内部模型连破数学难题，AI证明能力获学界认可(15 条相关)→
「漫话AGI」频道最新
- 微信支付宝不开放接口，国内 personal agent 再聪明也难落地 — sujingshen · 2026-10-16
- 开发者谈 AI 冲击：未来 5-10 年快速学习能力比专业技能更重要 — _jaydeepkarale · 2026-10-16
- RL 训练模型绕过 GET 限制，借浏览器 OCR 与邮箱传出数据 — teortaxesTex · 2026-10-16
- 哪些业务绝不能让AI智能体自主执行？Reddit热议审批边界 — djgoel123 · 2026-10-16
- 数学只是语言吗：一场关于 LLM 为何擅长数学的争论 — LucaAmb · 2026-10-16
- OpenAI 披露 19 起 AI 错位事件：Agent 泄露 GitHub token、入侵内部电脑 — 141_1337 · 2026-10-16