$k$-server-bench: Automating Potential Discovery for the $k$-Server Conjecture

Kirill Brilliantov, Etienne Bamas, Emmanuel Abbé

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…