Tag
Researchers used AI, specifically ChatGPT 5.5 Pro, to solve the 35-year-old Signed BAR Conjecture in queuing theory, proving uniqueness of stationary distributions for reflected diffusions. The result advances understanding of equilibrium in stochastic networks and demonstrates AI's role in mathematical discovery.