Another possible reason is that the number 4 is considered unlucky in traditional Chinese culture.
replyMoonshot has already teased K3.1 so not likely
replyK3.1 would likely be a deeper/longer post-train from K3, so that’d make sense.
replyIt’s all marketing anyways, but that’s at least how a lot of labs have been naming things (sometimes).