Kimi K2 Thinking, a SOTA open-source trillion-parameter reasoning model (moonshotai.github.io)