Thoughts · Analysis · AI
Toby's Blog

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

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 →