北大团队人机协作攻克排队论35年猜想

北京大学研究团队通过人机协作，成功证明了排队论核心工具BAR（Balanced Arrival Rate方程组）的唯一性猜想，该问题已悬而未决35年。BAR被视为判断排队网络是否达到均衡的「主方程」，此次突破展示了人机协作模式在解决硬核数学难题中的巨大潜力。

关键细节与AI的局限

在探索过程中，AI展现了强大的文献检索能力，它发现了一篇关于路径可微性的关键论文，使团队将原本长达150页的证明压缩至10页。然而，AI也暴露出系统性局限：它倾向于给出平凡的示例。研究中最关键的Harrison-Reiman类是由人类研究者凭借专业直觉识别出来的，AI未能独立发现这一关键结构属性。此外，即使给定了正确的子类和关键论文，在全新对话中ChatGPT 5.5 Pro和Claude Opus 4.8均完全失败，无法独立完成证明。

争议与存疑

团队发现原始猜想在数学上实际是错误的，它在自然延伸中存在反例，仅在Harrison-Reiman类这一子类中才成立。在与GPT共同尝试证明时，GPT在某个关键节点反复卡壳，正是这一卡壳促使研究者转向寻找反例，最终推动了研究走向真正的突破。

各方反应

帖子作者@2primePKU总结认为，AI短期内不会取代数学家，但人机协作已成为解决数十年悬而未决数学难题的超级能力。同时，作者对博士生Youheng Zhu在探索过程中提供的反馈表示感谢。

2026-07-07 ~ 2026-07-07 · 7 条相关

一手来源