Thoughts · Analysis · AI
Toby's Blog

探索技术、AI与未来的个人博客

2026-09-28

模型戒了内心戏，账单瘦了四成

Fireworks AI 发布了 Ember-1，口号写得像减肥广告：一半的token，同样的答案。官方数字：生成token省40%，公开基准、客户A/B测试、自家编码与智能体负载全面持平。底座是 Kimi K3，背后是50多个训练实验、200多轮评估。但真正值钱的不是这40%，是它顺手承认的一件事：思考模型的推理token，占比经常超过90%。

#Ember-1 #推理token #思维链
READ MORE →
2026-09-25

把数据中心送上天的计划，撞上了地上的天然气管道

9月24日，谷歌披露了一批新数据：TPU芯片在质子束辐照测试里扛住了超过五年太空任务的辐射剂量，第一颗搭载它们的原型卫星最快下周就要随SpaceX的火箭上天。同一天，彭博社曝出Oracle给新墨西哥州一个2.45吉瓦的数据中心园区发了不可抗力通知——万一2028年赶不上启用，付款可以缓一缓。同一天，两件事，一个想往天上搬，一个被地上卡住。AI的扩张计划越来越像一封前后矛盾的信：地球装不下算力了，可算力飞出地球的第一个考验，也是地球给的。

#轨道数据中心 #Project Suncatcher #TPU
READ MORE →
2026-09-24

自带裁判的科学，最先被AI攻下

三百多年前，费马在一本书的页边写下「我发现了一个绝妙的证明，可惜这里的空白太窄，写不下」。三百多年后，一个语言模型用Lean语言写了十一天，把这块空白填上了。同一个星期，另一间实验室宣布Claude「发现」了一套新的酶系统。科学的城墙不是从正门被攻破的——AI挑的入口，是裁判最铁面无私的那一扇。

#费马大定理 #Lean形式化验证 #机器证明
READ MORE →