Kimi k1.5 Outperforms OpenAI: The First LLM to Beat GPT-4 in Math ...