标签
研究人员使用AI，特别是ChatGPT 5.5 Pro，解决了排队论中一个存在35年的符号BAR猜想，证明了反射扩散的平稳分布的唯一性。这一结果推进了对随机网络均衡的理解，并展示了AI在数学发现中的作用。