$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture
arXiv:2604.07240v1 Announce Type: cross
Abstract: We introduce a code-based challenge for automated, open-ended mathematical discovery based on the $k$-server conjecture, a central open problem in competitive analysis. The task is to discover a potent…