The parent poster is probably referring to Kimi-Dev-72B¹, which is a much smaller and older model, while people are probably more familiar with the big and fairly powerful 1100B Kimi-K2.5².
I wish they did more smaller models. Kimi Linear doesn't really count, it was more of a proof of concept thing.