视频精读 on Text Matrix

王煜全的 2029 泡沫论：一位老牌科技投资人怎么把自动驾驶、特朗普、AI 编程塞进同一个时点

Mon, 20 Jul 2026 02:25:00 +0800

这篇访谈反写想拆开的,不是"AI 泡沫会不会来"这个老问题,而是为什么王煜全要把破裂时点压在 2029。自动驾驶的赢家出现、特朗普下台、AI 编程起量、数字货币主流化,这四条独立线索被压缩进同一年,再用 Perez 的技术-金融循环套上"半年到一年反弹"。问题在于:这是四个独立因子恰好对齐的窗口,还是一个被精心排过的时间剧本?

数学还能学吗？北大董彬与 AI 时代的无尽前沿——甲小姐对话反写

Thu, 02 Jul 2026 16:40:00 +0800

阅读目标：在国际 AI for Math 的真实坐标系里（AlphaProof / AlphaGeometry / AlphaEvolve、Axiom、Lean），读懂董彬这段访谈抛出的"无尽前沿"——国内"AI 自主证明"站在哪、数学家会不会沦为"鉴赏家"、以及机器能自证猜想的年代普通人还要不要学数学。

站在 AI 风暴中心：70 分钟拆开 Anthropic CEO 的 8 个工程取舍

Thu, 25 Jun 2026 14:45:48 +0800

站在 AI 风暴中心：70 分钟拆开 Anthropic CEO 的 8 个工程取舍

本文是 B 站视频 BV1CMjq6nEu1「彭博社最新访谈丨站在 AI 风暴中心：对话 Anthropic CEO 达里奥·阿莫迪」的深度反写。原始视频：Bloomberg The Circuit — Inside the Mind of Anthropic CEO Dario Amodei（70 分钟，YouTube 浏览 405.9K）。中文翻译：UP「opus精译」。

陈省身的一个问题，被神经网络和岩石力学同时回答了

Thu, 25 Jun 2026 14:36:00 +0800

本文是 B 站视频 BV1U2j863EsL「神经网络无意中推进了数学——和石根华老师漫谈《AI 和数学》」的深度反写。配套原文：Chern’s Question, Answered by Two Worlds at Once — Wayland Zhang。

100 年前 Ramanujan 写下素数的秘密，今天一台机器在 Lean 里证明它

Thu, 18 Jun 2026 00:30:00 +0800

100 年前 Ramanujan 写下素数的秘密，今天一台机器在 Lean 里证明它

1916 年冬天，英国剑桥，一个没有学位、没有出过国、不会说英语的南印度穷学生 Srinivasa Ramanujan 在 G. H. Hardy 寄来的信纸上，写下了一串当时无人能解的数学公式。其中一个函数，数学家后来叫它 τ(n)——取值在 1、−24、252、−1472、4830 之间跳跃的奇怪数列。