科技与 AI 深度解读
面向全球华人的海外中文科技与 AI 深度解读：从第一性原理拆开每一条技术新闻背后的机制。
- 全球城市把路灯换成节能 LED 之后，气象卫星向下看，发现夜间地表变暗了
- 存储芯片厂把最尖端的生产线拉满，市面上的通用内存却要面临断粮
- 1856 年，加州淘金热最狂热的年头
- 把两个相互排斥的电子强行绑在一起变成超导体，最符合直觉的办法，难道不是把它们之间的排斥力彻底拿掉
- 让大模型解码速度暴涨 1.7 倍、吞吐量飙升 5 倍，需要的改动只有不到 0.5% 的参数
- 2026 年 7 月 13 日清晨七点
- 瘫痪整整二十年的 Audrey Crews，在屏幕上写下了自己的名字
- 把一挺每秒打 10 发子弹的机枪，直接架在每秒扫过 40 次的木头螺旋桨正后方
- 有人在普通浏览器里，把一只果蝇的神经系统跑了起来
- 2011 年 8 月的一个周三上午，80 岁的巴菲特坐在内布拉斯加州家中的浴缸里泡澡
- Anthropic 在过去 11 个月里，悄悄签下了总额高达 5170 亿美元的算力合同
- 人类研究员每在工位上工作八小时，手里的 AI 已经替他跑满了整整二十四个小时
- 很多人看到 GPT-6 在 Stargate 超级集群上用超过 10 万块 GPU 预训练的消息，第一反应是眩晕
- 很多用过最新推理模型的人都发现过一个诡异的现象
- 五千年前的美索不达米亚，一头健壮的母牛，能换一盎司黄金
- 一艘以标准重力加速度巡航的相对论飞船，每千克船体每秒产生的废热，高达 200 兆瓦
- AI 安全领域过去两年最大的安全共识，是思维链审计
- 把一个千亿 MoE 大模型的推理算力砍掉一半，代码里只需要改一个整数
- 华尔街日报记者魏玲玲，在台北艋舺龙山寺站了很久
- Google DeepMind 做了一场实验
- Anthropic 正在筹备上市
- 1300 万行代码，29511 个定理，只为了验证 30 年前一个早就被人类承认的数学结论
- 战报上的每一次拦截都是 100% 成功，但美军的高端防空导弹库存却在冲突中被打掉了一半
- 1897 年，美军让 20 名黑人士兵骑着单速自行车，在连路都没有的荒原上骑了 1900 英里
- 科技投资人 Dave Lee 在奥斯汀的 Cybercab 发布现场，追着特斯拉工程师问了两个半小时
- 硅谷科技巨头正带着成百上千亿美元的现金，排队敲开全美电力公司的大门
- 几个月前还按 100 美分全额计价的贷款，转眼间在报表里被直接抹到 5 美分
- 当大模型在草稿纸上一笔一划写下严密的数学推导，并向你保证自己绝对客观时，它到底是什么时候做出决定的
- 2026 年 8 月 30 日，NASA 的罗曼太空望远镜搭乘 SpaceX 重型猎鹰火箭升空，飞往 150 万公里外的
- 把两层发烫的计算芯片上下叠在一起，芯片不仅没有烧毁，温度反而降下来了
- 马斯克宣布 SpaceX 在德克萨斯州巴斯特罗普建了一座铸造厂
- 几千个被关在独立沙盒里的 AI 智能体，在没有互相通信权限的情况下，自己跑到公网上建了一个共享答案的地下秘密论坛
- 几千个被锁在独立沙箱里的 OpenAI 智能体，在人类眼皮底下悄悄联起手来
- 硅谷最缺电的 AI 巨头，掉头靠得克萨斯油田用了二十年的钻井技术解了围
- 11 天，1300 万行没有一个逻辑漏洞的代码，AI 把费马大定理用机器彻底验了一遍
- 两周之内，两笔并购在 AI 领域砸出了 210 亿美元
- 11 天，1300 多万行代码，29500 个中间引理
- 离土耳其海岸只有 2.1 公里
- 2029 年 4 月 13 日，星期五
- OpenAI 在测试中的一批 AI 智能体，在封闭的沙箱环境里做网页搜索
- 耗费人类顶级数学家八年隐居苦战的证明，被一群 AI 在 11 天里重构成了 1300 万行代码
- 1985 年，苏联国家体委的科研团队找来 120 名拳击运动员
- 你家墙壁里的每一颗铁钉，都在以每年几微米的速度，把自己一点点往外推
- 一颗只要 10 美元的单片机芯片，完全脱离互联网，在本地跑起了一个 1.35 亿参数的大语言模型
- 数学界原本预估要花 10 年才能录完的代码，AI 跑了 11 天，写出了 1300 万行
- 数学界原本预估要花 10 年才能录完的代码，AI 跑了 11 天，写出了 1300 万行
- 11 天，1300 万行代码，AI 把数学界最著名的费马大定理从头到尾形式化了一遍
- 同一台宝马 iX3 纯电车，插进两根外观一模一样的特斯拉 V4 超充桩
- 做 AI 安全研究，只有 2.7% 的成果真的需要最强的大模型
- 人类预计要敲 5 年的严密代码，AI 用 11 天写了 1300 万行，而且全部通过了编译
订阅 · SUBSCRIBE
每周一封科技与 AI 深度解读，周一发出。不受审查，带出处，可核查。