87年没人解出来的数学猜想，被一个AI直接否掉了。不是辅助，是独立完成。我看到这条新闻的时候，坐在大理的出租屋里，窗外是苍山，我愣了大概三秒，然后……去后台查了一下Kiro账号的库存。
关于雅可比猜想，我其实什么都没看懂
说实话，雅可比猜想是什么，我完全不懂。看了三遍那条推文，我的理解大概是：一道1939年提出的数学题，几十年来无数顶级数学家绕着它转，包括后来在赛百味打工的张益唐，博士期间死磕七年没搞定——然后今天Fable 5直接找到了反例，把它否了。
不是”帮人类做题”，是AI自己独立做出来的。
这个差别很重要。AlphaProof当年是辅助，这次是独立完成。数学界给不出答案的东西，AI给出了。
我不知道这意味着什么。我是真的不知道。
我能感受到这件事很大，但我说不出具体大在哪里。就像你站在一个很高的悬崖边上，你知道下面很深，但雾太厚，看不见底。
有一个角度我倒是能理解：以前大家说”AI能做计算，但做不了真正的数学推理”。这个论断今天被打了一个很响的耳光。以后再有人说AI不会推理，这条新闻会被翻出来——虽然我承认我也不完全懂这两件事的边界在哪。
然后我查了Kiro的库存
这就是我的反应。高深的思考持续了三秒，然后商业本能接管了大脑。
Kiro是我店里最近上的一款AI编程工具账号。用的人不算多，但最近在涨。我当时第一反应是：Fable 5这么猛，会不会带动AI编程工具的关注度？然后跳到：我Kiro账号够不够用？
这个反应我自己都觉得有点可笑，但这就是真实状态。
卖AI账号快半年了，我对AI新闻的处理方式已经完全变形——每条新闻进来，大脑里有一条自动化流水线：这个和哪个产品有关？会涨价还是会降价？用户会不会突然来问？我要不要备货？
这条流水线跑得很快，快到有时候我都意识不到自己在做这个判断。
Fable 5攻克数学难题这种级别的新闻，理论上应该让我停下来想很久。但实际上我查完库存、确认没问题，就接着刷下一条了。
Flash降价这条才是真正影响我的
Gemini 3.6 Flash输出价格降到$7.50每百万token，同一套评测账单从$1041降到$727，速度接近翻倍。
这条新闻我读了好几遍。
因为它直接影响我的上游。
我店里卖Claude/Gemini中转，背后是API成本。Flash系列每次降价，意味着供应商那边成本在降，理论上我的进货价也可以谈。但实际上中间有很多层，降价传导到我这里要滞后很久，有时候根本传不下来。
更现实的问题是：Flash越便宜，那些原来买我们账号”薅额度”的用户，会不会直接去用官方API？
这个逻辑我想了一会儿，结论是：短期不会，因为国内用户搭环境有门槛，绑卡有门槛，网络有门槛。但长期来说，这条护城河在变窄。我卖的本质是”帮你越过那些门槛”，只要门槛还在，生意就在。门槛什么时候消失，我不知道。
可能明天，可能三年后。
算力鸿沟那条让我想起一件事
Kimi的研究员从OpenAI回国，发现美国普通研究员能调几千块GPU，国内同事当场惊掉下巴。
我想起去年有个用户来问我：“为什么OpenAI的模型比国内的好用？”
我当时给了一堆理由，训练数据、RLHF、模型架构……说了一堆。
但看到这条新闻，我意识到可能最核心的一条我没说：钱和算力。就这两个字。不是技术不行，是资源起点根本不一样。在差这么悬殊的条件下，Kimi K3还能打进全球前三，这事真的挺厉害的，比我原来以为的厉害。
我以前有段时间觉得国内模型没希望，老是被OpenAI和Anthropic碾压。后来DeepSeek出来我又觉得”卧槽，追上了”。现在的判断是：差距在缩小，但缩小的速度比我们以为的要慢，付出的代价也比我们以为的要大。
我这个判断准不准，我自己也不确定。毕竟我之前判断过”DeepSeek火不了”，所以我的行业预判是有点折扣的。
今天的状态
大理这几天在下雨。我坐在屋里刷日报、回客服、查库存，偶尔抬头看一眼窗外的苍山——山顶都是雾，看不见。
AI在解87年的数学题，我在回答”这个账号怎么登录”。
这两件事同时在发生，都是真实的。我有时候觉得这个反差挺荒诞的，但大多数时候不想太多——账单要付，客服要回，日子在过。
等哪天AI帮我把客服全接了，我再去认真想雅可比猜想是什么。
📰 完整版日报请看 爱窝啦 AI 日报