Moonshot AI Open-Sources 2.8-Trillion-Parameter Kimi K3.1 Pro Weights, Strongly Tops Agent Arena Open-Source Leaderboard