数学家称 AI 已证明 KLS 猜想,组合数学重大难题或被攻克
michaelchchoi · x · 2026-10-06
数学家 Guanyang Wang 发帖称 KLS 猜想(Kannan-Lovász-Simonovits 遗留问题)已被 AI 证明,并附上相关链接。该猜想是凸几何与理论计算机领域的著名公开难题,若属实将是 AI 辅助数学研究的标志性进展。目前仅为学界人士的单方宣称,具体证明细节尚待核实。
「研究」频道最新
- 苹果研究团队招收 2027 年博士实习生:视频模型、3D/4D 重建等方向 — HildeKuehne · 2026-10-06
- MemAdapter：用反事实推理缓解长期记忆引发的谄媚问题 — Ruqing Ning · 2026-10-06
- 北大 Code2Games：编码智能体生成可玩 3A 游戏世界并适配 UE5 — PekingUniversity · 2026-10-06
- QuantCode：领域预训练+SFT 让开源模型交易代码通过率翻倍 — Alexey Chernysh · 2026-10-06
- 处理边界慢轨道:子采样+外推修正,保证 Mandelbrot 面积估计无偏 — geoffreyirving · 2026-10-06
- 群体进化智能体 GEA：以群体而非单个 agent 为进化单元的新范式 — xwang_lk · 2026-10-06