懒，不想动。场地放不下那么多人来我们活动，咋整。

1. Nomi太二了，怎么真的让Nomi从语音识别模式升级成真正的语言模型。

2. 自动驾驶不跟特斯拉比，什么时候赶上小鹏。

3. 怎么降本，很多时候我可能不需要那么好的服务，我需要更持久的服务。

昨天和今天下午分别跟一个新朋友和一个老朋友互相update彼此进展，发现一个事儿：认知天然对齐的人，即便不同方向和侧重，对另一方正在做的事儿也是很难有任何误解和困惑的。

那就对齐一下：多快好省地搞全球AI大跃进，懂的call 1。

很久没看见对标赶超了，大家都挺（不得不）务实的。没想到，最新一个宣布对标赶超OpenAI的是Kimi。
​
K0-Math 宣布在中考高考考研和竞赛四项数学能力准测试的评分超过了OpenAI o1，这事儿意味着几点：
​
​1. 历史上Kimi从来没搞过对标，更没打过榜，我写过文章说它们的第一性原理就是Model as app，拿模型（无论是不是自己预训练的）当爆款做，不求解决所有问题，解决一两个关键痛点（长文本理解）就胜出了。但现在，大家都不怎么打榜了，都埋头干钱难挣屎难吃的事儿了，Kimi 倒开始打榜了，开始宣布赶超 OpenAI了，这事儿就有点....emmm 有意思了。
​
​2. 这个对标是值得商榷的，OpenAI 的o1从来就不是一个数学模型，而是一个深度思考模型，是一个通用的foundation model，因为其CoT能力，擅长解决数学问题，却不一定针对数学做了大量的调优，但K0 Math是一个纯数学的MoE模型，与o1拼数学是不对等的。
​
​3. K0 Math highlight了大量的基于reinforce learning 的实践，但没有讲它是怎么做预训练的，只是在回答我们的问题时候说“是自己做的”。当然了我们10月初的时候也问过OpenAI的某位著名女亚裔高管o1的预训练问题，她也表示这个事儿不可说，但好歹我们是知道GPT是怎么做预训练的 。可是，没有人知道Kimi是怎么做预训练的，更不知道这次数学模型的预训练是怎么做的。也就是，没有预训练公开经验的Kimi，它的数学模型是更擅长打榜，还是更擅长解决实际问题，which is still open to debate.

王兆洋说5岁的王肃宸学🎹，老师问的时候就猜每个键的音符是啥，dou不对就猜rai， rai不对就猜mi，最后猜对了。老师说你能不能记一下每个键盘的音节，王肃宸说我不。王兆洋说，你看，这个其实就是某些家的思维链（CoT）和深度思考。

我跟王兆洋先生说：一个人不可能在擅长社交分享欲强的同时保持深度思考和critical thinking。

王兆洋说：这不就是GPT-4和 o1 的区别么。

AI垂直新媒体一直就是AI Hype的主要推手。过去是机翻论文加一个耸动标题，提供一惊一乍的情绪价值。现在改一贯不关注AI本身的商业媒体下场了，就直接上狗血炖粉条儿了。

昨天跟一位创业者聊，说2025年，国内的头部大模型公司有些会迎来事实性的死亡。

就是看上去活着，但其实死了。新的投资进不来，公司关不掉，也没法退出，也不能商业化，当然模型也不会有进展。

@AI暴躁吐槽君 最近更暴躁了！

昨天聊的。我一直有一点很佩服Robin，就是敢于输出暴论，比如之前开源是智商税，这次大模型进化得慢下来。他知道说出去很多人不爱听，但他就是要说。而且站在他的立场上，很能自洽。