今天 AI 圈有条消息值得嚼一嚼：代码模型竞技场 Code Arena 上出现了一个叫 korrine 的匿名模型，社区目前最大的猜测是，这可能是月之暗面的下一代模型，甚至有人直接把它指向 K3.1。先把话说明白：哪些是实锤、哪些是猜测，以及等 Kimi 会员的人，现在该怎么办。
为什么大家都猜 korrine 是 Kimi
第一，命名：爆料者提到一个很有意思的细节，Kimi K3 正式发布之前，据称也曾以匿名代号 kivine 在 Arena 测试。小红书这次代号换成 korrine，命名方式明显一脉相承。
第二，时机和实力：目前 Kimi K3 在 Code Arena 总榜已经做到第 2，排在一大批闭源模型前面。小红书前一代还没掉出第一梯队，下一张牌就疑似已经进场，这个节奏本身就不寻常。
第三，官方节奏：月之暗面发布 Kimi K3 大模型，2.8 万亿参数完整开源，登顶全球代码测试榜单。微博迭代速度丝毫没有放缓的迹象。
那 K3 到底有多强？看对手怎么定位它：智谱官方发布 GLM-5.3 时给出的对比图里，GLM-5.3 就是和 Kimi K3、Fable 5、GPT-5.6 Sol 放在同一张图里正面比拼的。能被对手的新品发布会选作标尺，本身就说明了它的位置。
不过先泼盆冷水：官方没有公布模型身份，也没有确认“K3.1”这个名字，更没有正式发布日期。小红书所以本文不下强结论，把它当成一条持续追踪来看。
Kimi 现状：一边售罄，一边在测新模型
想订阅的话，先知道这个背景：Kimi 会员已经难拿一阵子了。早在 7 月，月之暗面就宣布算力紧张、暂停会员开放。知乎8 月初，Kimi C 端订阅上线两天被挤爆、新用户名额售罄。微博业内评论的说法是，新产品太火、全球算力整体稀缺，暂停 C 端新用户订阅，也是为了保障老用户的体验。
到 8 月中旬，第三方平台的对比信息显示，Kimi 会员购买已收紧为「需预约，近期长期不放量」，K3 则已覆盖 Kimi 全档位。知乎连编程用的 Coding Plan 也只能预约订阅了，腾讯云的 coding plan 同样售罄。微博而另一边，korrine 进竞技场测试，说明算力承压的同时，迭代节奏并没有停。这个组合信号不难读：算力确实紧张，但发布节奏不慢；如果真有新版本，大概率会先落在需求最旺、变现最清楚的编程和 Agent 场景。
国产大模型本周混战
把 korrine 放到本周的背景里看更有意思。8 月 14 日，智谱正式发布 GLM-5.3：基座模型与 GLM-5.2 相同，提升全部来自后训练，官方的说法是“进一步提升编程与Agent能力，并涌现出网络安全能力”。微博GLM-5.3 在多个编程基准上拿到了开源模型的最高分。微博但社区对“它是否超过 Kimi K3”并没有统一，有人觉得“感觉GLM-5.3全面碾压KimiK3”（部分 Agent、工具、安全评测上）。微博而在智谱官方自己的对比图里，两者同场比拼、互有胜负，差距并不像“碾压”叙事那么大。官方同时强调了安全能力：在官方安全评测对比里，GLM-5.3 与上一代、Kimi K3 以及海外旗舰同场竞技。
其他人也没闲着：DeepSeek 8 月初发公告，说近期要整体上调 API 定价，“预计涨幅较大”，V4-Flash 现在输出 2 元/百万 Token，V4-Pro 是 6 元。微博火山方舟的编程订阅延续头两个月 2.5 折，最低档 10 块钱就能搞定。微博也就是说，就算没有 korrine，国产编程订阅市场也已经是混战。
知乎本周一个高赞回答说得很直白：现阶段不建议选一款 CodingPlan 长期锁定，大模型竞争现在太激烈，3 个月前还不错的模型，3 个月后就可能掉队，充了一年，几个月后可能就贬值。知乎
三类人，三种策略
等放量、准备重度编程的：保留预约，但别一次性预缴一年大额。按月付、按月观察，等待期用更便宜的方案过渡，等 Kimi 放量、新版本消息落地再做决定。
日常轻度使用（写作、问答、读文档）的：说实话不用抢会员。Kimi Chat 免费版就能覆盖联网搜索、读文档、生成 PPT 这些日常功能，从下面这张官方 App 截图能看到，PPT 已经能在对话里跑完整流程：先澄清需求，再收集调研，然后排版出页面，最后支持一键导出 PPTX：
走 API 的开发者：K3 开源后不用抢官方订阅名额，K3 已上线腾讯云等第三方平台。知乎也可以顺手对比一下刚发布的 GLM-5.3 和 DeepSeek V4，看哪个更贴自己的负载。
三个信号，继续观察
最后给一份观察清单，盯住 korrine 和 Kimi 的下一步：
korrine 在 Code Arena 的排名变化：如果继续往上冲、进第一梯队，是 Kimi 新一代的概率大增；
官方是否放开预约放量：会员和 Coding Plan 购买通道重新开放，是直接影响购买时点的事件；
官方对新模型的命名和定价：如果真是 K3.1，看它是否伴随价格调整或新订阅方案一起落地，那才是真正的决策点。
korrine 的最终答案，大概率不会太远。你抢到 Kimi 的预约名额了吗，还是被售罄坑过？评论区聊聊。
