今天的技术新闻里,最值得聊的其实是两件事:Kimi K3 发布48小时服务器就炸了,以及雅可比猜想被AI证伪。这两件事看起来风马牛不相及,但它们背后在讲同一个故事——当AI的能力超出预期,整个生态都在措手不及。
先说Kimi的事。月之暗面这次是真的把自己玩脱了。K3性能逼近GPT-5.6,这确实是个里程碑,但结果是用户请求量暴增,服务器直接干趴,不得不暂停新用户订阅。这暴露了一个残酷的现实:AI行业现在不是技术不行,是基础设施跟不上。你模型再牛逼,没算力就是个空壳。英伟达股价跟着暴跌,不是没道理,市场意识到算力不是无限供应的,而且瓶颈在集群调度和网络带宽上,不是单纯的卡不够。对普通开发者来说,这意味着什么?别急着冲上去用K3,先想想你的应用能不能扛得住API不稳定。另外,Anthropic连夜改订阅策略,说明大家都在抢算力,这波涨价和限制是必然的。商业化?短期内K3能赚钱,但长期看,算力成本会吃掉所有利润,除非月之暗面能搞定自建集群。
再说雅可比猜想被AI证伪。这事被技术圈严重低估了。有人觉得这是AI的厉害,但我觉得更值得讨论的是:这个反例是怎么被发现的?不是AI自己推导出来的,而是人类用AI辅助搜索,在庞大的代数结构里找到了一个特例。这其实是个信号:AI在数学推理上的能力,已经不只是“做题”,而是能发现人类没注意到的模式。但风险也很明显——如果AI找到的反例人类无法理解,那它本质上就是个黑箱工具。对开发者来说,这意味着一件事:以后做科学计算、金融建模、加密算法,你都得考虑AI是不是能钻空子找到你不存在的漏洞。这行当的门槛会越来越高。
把这两件事串起来,可以看到一个更大的趋势:AI正在从“能写代码”进化到“能推理”,但推理的代价是算力需求指数级增长。商汤的林达华说多模态是下一个战场,我同意,但前提是你能把算力压下来。天数智芯的天垓300号称比Hopper方案强,但别忘了,国产GPU在生态和软件栈上还有很长的路要走。另一个信号是Hacker News上那篇“中国开源AI策略正在赢”的文章,这说法有点夸张,但确实反映了现实:开源模型在性能上逼近闭源,成本却低得多。这对开发者是好事,但对创业公司来说,入场门槛反而更高了——因为开源模型把基础能力变成了免费品,你只能靠数据、场景和体验来差异化。V2EX上那些讨论股票和诈骗的帖子,跟技术无关,但说明开发者社区也在分化,一部分人还在折腾底层,另一部分人已经在想怎么变现了。
最后说句扎心的:AI漫剧的泡沫破裂和技术迭代的速度一样快。从火热到退潮只用了一年。这行当没有情怀,只有落地。你做的产品,能不能解决一个真实问题,能不能在算力不稳定的情况下跑通,这才是关键。别被开源模型冲昏头脑,也别被发布会上的数字忽悠。先看看你自己的手,能握住多少算力。