RecodeX 重构消息，理论计算机科学领域长期悬而未决的k-服务器猜想已被证明成立。该猜想涉及在线算法在未知未来请求的情况下调度k台服务器的最小移动代价问题，其成立意味着这一在线竞争比上界得到最终确认。