人机协作攻克排队论35年未解猜想
2prime_PKU · x · 2026-07-07
北京大学研究人员联合AI，成功证明了排队论核心工具BAR（Balanced Arrival Rate方程组）的唯一性猜想，该问题已悬而未决35年。BAR被视为判断排队网络是否达到均衡的「主方程」，其唯一性是理论完备性的关键。
团队以7条线程分享了具体攻关过程，展示了人机协作在高难度数学证明中的实际路径，是AI辅助数学研究的典型案例。
所属事件:北大团队人机协作攻克排队论35年猜想(7 条相关)→
「研究」频道最新
- 机器人论文称 VLA 和 world model 还不够 — hbouammar · 2026-07-23
- Derya Unutmaz：AI 正把生物医学研究压缩到几天 — DeryaTR_ · 2026-07-23
- 作者主张用 Schema 校验取代 LLM 自主判断执行 — Jay299792458 · 2026-07-23
- 应用数学主导AI浪潮，为何梯度下降依然有效？ — fkasummer · 2026-07-23
- Cursor 的 Composer 2.5 推理明显弱于 Kimi 基座模型 — gleech · 2026-07-23
- Lanyon 称其神经符号求解器快前沿模型 20 到 250 倍 — burny_tech · 2026-07-23