Human-AI Collaboration Solves 35-Year-Old Queuing Theory Conjecture
2prime_PKU · x · 2026-07-07
Peking University researchers, collaborating with AI, successfully proved the uniqueness conjecture of the BAR (Balanced Arrival Rate) equations, a core tool in queuing theory that had remained unsolved for 35 years. BAR is considered the "master equation" for determining whether a queuing network reaches equilibrium, and its uniqueness is key to theoretical completeness.
The team shared their specific problem-solving process across 7 threads, demonstrating the practical path of human-AI collaboration in tackling highly difficult mathematical proofs, serving as a classic case of AI-assisted mathematical research.
More from Research
- Diamandis: AI Cancer Navigator and $100 Genome Sequencing Close the Care Gap — PeterDiamandis · 2026-10-27
- EMNLP Oral: training-free Nexus Sampling cuts KV-cache memory 10x; OpenResearcher tops BrowseComp-Plus at 54.8% — yuz9yuz · 2026-10-27
- ICML 2026 position paper: LLM 'thinking traces' are a harmful anthropomorphism — rao2z · 2026-10-27
- Forking gap follows a power law in context frequency; masking rare n-grams shrinks it — ZimingLiu11 · 2026-10-27
- How forking happens: n-gram tables split logits into non-interacting subspaces — ZimingLiu11 · 2026-10-27
- The best LoRA explainer video yet: rank constraints meet intrinsic dimension — sophiamyang · 2026-10-27