Kimi K2 的思维与 Gemini 3 Pro 在 HLE 上的工具相当吗？ 可惜他们没有与领先的开源模型进行比较。