k-server-bench: Automating Potential Discovery for the k-Server Conjecture
DGX agentarXiv: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 com