Claude is really good at code, agree. I'm talking about some cryptography problems that have really chunky mathematical reasoning steps. Also, I don't really keep up with the models so 'Kimi' - I just mean whatever Maple is giving me. K2.5 apparently.