arXiv ID:
2604.07240
arXiv 提交日期: 2026-04-08
k-服务器基准测试:为k-服务器猜想实现潜力函数发现的自动化 / $k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture
1️⃣ 一句话总结
这篇论文提出了一个基于代码的自动化数学发现挑战,旨在通过寻找满足特定不等式系统的潜力函数来辅助证明或逼近著名的k-服务器猜想,同时该任务本身也构成了一个能有效评估智能体发现能力的新基准。