Weekly Dose of Optimism #203

乐观主义周报 #203

Travis重出江湖，Jacobian猜想被推翻，Skyroot，Star Axis，Thunder + 额外内容

2026年7月24日

朋友们大家好👋，

周五快乐，欢迎阅读第203期《乐观主义周报》。

至少在纽约市，天气是满分10分，这是个夏日周五，你可能正想出去走走。那我们就简短地结束这个引言，如果你想要边听边散步，这里有个音频版本（用我的AI声音录制，所以请见谅“a16z”的发音可能不太标准）。

0:00

-11:09

你的浏览器不支持音频播放。请升级浏览器。

在额外内容中，有惊人的科学发现、一篇关于边界的优秀论文，以及一个绝对惊艳的50年土地艺术项目。

我们开始吧。

#### (1) Travis重出江湖（获得a16z 17亿美元投资）

在3月第185期周报中，我们曾讨论过Travis Kalanick从创业史上最隐秘的隐秘状态中现身，他创立的新/旧公司Atoms计划涉足所有领域。

现在，Travis再次归来。

周三，Atoms宣布获得由a16z领投的17亿美元股权融资，Ben Horowitz加入董事会，这在当今是非常罕见的事件，据Travis表示，这是为了弥补双方过去的错误：

我和Marc、Ben认识很久了，2011年我们曾非常接近在Uber合作。我怪Marc，Ben怪自己，但总之我们都有责任，2017年Uber因为没有Marc在董事会而付出了代价 - 业内人士都懂。

值得注意的是，Uber也参与了本轮投资，而Benchmark并未参与。

Kalanick写道：“在很多层面上，这轮融资算是未竟之事的延续。” 2011年，a16z曾非常接近领投Uber的B轮融资，但在交易破裂后，Menlo Ventures牵头完成了3200万美元的融资。如今，a16z正在与Kalanick和Adam Neumann一起组建2010年代中期创始人的“无限宝石”，他们不会再犯同样的错误。

虽然这在Travis Kalanick身上可能并不重要，但a16z到底在投资什么？

2017年心碎离开Uber后，Kalanick收购了City Storage Systems，将CloudKitchens发展成其最知名业务，并在近八年的时间里几乎完全隐秘地进行建设。例如，员工甚至不能将公司信息添加到LinkedIn上。

与此同时，公司雇佣了数千人，扩展到30个国家，收购并开发了房地产，编写了餐厅软件，制造了机器人，并每天学习如何运营复杂的物理系统。作为本轮融资的一部分，这些业务已被合并到一个Atoms股权结构中。

Atoms看起来不像是一家初创公司，而更像是一家大型集团：食品、采矿和运输都在同一公司旗下。

Kalanick对Atoms（以及此前的Uber）的统一理念是：物理行业可以像计算机一样构建。在Kalanick的模型中，制造是将原子转化为产品的CPU，房地产是存储层，而运输则是将原子从一个地方移动到另一个地方的网络。

目前，Kalanick的计算机概念在食品领域进展最快：

• CloudKitchens提供以配送为主的房地产。
• Otter是餐厅操作系统。
• ProFood构建大规模食品基础设施。
• Picnic负责办公室午餐配送。
• Lab37制造机器人。

Lab37 的碗组装机从餐厅的销售点系统接收订单，分发并称量原料，涂抹酱料，盖上碗盖，贴上标签，将其放入附带餐具的袋中并封袋。这台机器每小时可组装多达 300 个碗（如果需要封袋则为 200 个，Kalanick 在 TBPN 上表示这一过程出人意料地困难），Lab37 表示该设备可减少超过 40% 的组装人工成本。该设备已在餐厅投入使用。

在采矿领域，Atoms 收购了由前 Uber 和 Google 自动化先驱 Anthony Levandowski 创立的自主运输公司 Pronto，并将其作为 Atoms Mining 的技术引擎。

Pronto 通过改造现有的 Caterpillar、Komatsu 等运输卡车实现自主运输，而无需矿区购买全新车队。在 Heidelberg Materials 德克萨斯州 Lake Bridgeport 石灰石采石场，混合车队运行 Pronto 系统后，不到八个月就自主运输了超过 200 万吨石灰石。目前 Pronto 已与 Heidelberg 达成协议，将在其十余个采石场部署超过 100 辆卡车，今年还将扩展到另外两个采石场，并于上周与 Hitachi Construction Machinery 签署了合作协议。在最新一次 TBPN 采访中，Kalanick 表示自动化技术可将矿山生产效率提升 30% 至 40%。

Atoms 的第三个部门 Transport 仍处于保密阶段。Kalanick 将其描述为机器人的底盘。待定。

截至目前，Atoms 已组建了七家运营公司，并在食品和采矿领域展示了可信的实证。尚不清楚他是否能将这些模块整合成一个强大的系统，还是最终形成一组互不关联的优质业务，亦或整个计划因自身重量而崩溃。

但这位 Travis Kalanick 正在同时向人类文明的一些最大挑战发起战争，他背负着任何亿万富翁中最大的执念，渴望让 Benchmark 错失数万亿美元的回报。如果你想与他打赌，那可就是你的选择了。我很乐意为《王者归来》加油助威。

#### (2) Claude（以及 Levent Alpöge）推翻雅可比猜想

levent

@__alpoge__

你好，多亏我亲密的朋友 Akhil 提问，以及另一位亲密的朋友 Fable 在世界杯决赛期间的协助，雅可比猜想是错误的。映射：((1+xy)^3 z + y^2 (1+xy) (4+3xy), y + 3 x (1+xy)^2 z + 3 x y^2 (4+3xy), 2 x - 3 x^2 y - x^3 z): \C^3\to \C^3,

2026 年 7 月 20 日凌晨 2:19

·

3340 万次观看

1670 条回复

5130 次转发

42000 个赞

周日晚上世界杯决赛期间，Anthropic 数学家 Levent Alpöge 发布了代数几何领域最著名的未解问题之一的最终结论：“你好，雅可比猜想是错误的。”他感谢朋友 Akhil 的提问，并感谢另一位“亲密朋友”Claude Fable 5 在比赛期间的协助。

雅可比猜想的表述如下：取一个从 n 维复空间到自身的多项式映射。如果其雅可比行列式（衡量映射局部拉伸和压缩空间的指标）始终为同一个非零数，则映射在每一点都局部可逆。该猜想由 Ott-Heinrich Keller 于 1939 年推广，认为因此映射必须全局可逆，且存在多项式逆映射。

Alpöge 的三变量映射具有始终为 -2 的雅可比行列式，满足该猜想的前提条件。但该映射将三个不同的点——(0, 0, -1/4)、(1, -3/2, 13/2) 和 (-1, 3/2, 13/2)——映射到完全相同的点 (-1/4, 0, 0)。一个将三个输入转换为一个输出的映射无法具有逆映射。

……说实话，我不确定自己在说什么。如果你真的感兴趣，最好去玩一下 Simon Rezchikov 的可视化演示和解释。

重点在于，这些由人类数学家引导的模型正在进入一个推翻猜想的狂热阶段（SPREE），以至于 Joscha Bach（开玩笑地？）提议在模型足够成熟能证明猜想之前，对推翻猜想的行为实施暂停。

Joscha Bach

@Plinz

@DmitryRybin1

人们正在使用不成熟的 AI 轻率地摧毁大量数学成果。我们应该等到模型足够成熟，能够*证明*猜想，而不是仅仅推翻它们。摧毁比构建容易得多！我们需要对使用 AI 反对数学的行为实施暂停。

2026 年 7 月 23 日 下午 12:00

6.99K 次浏览

24 条回复

3 次转发

75 次点赞

这条评论是针对另一条推翻结论的回复：

Dmitry Rybin

Dinitz-Garg-Goemans 猜想是错误的。这个图论问题已经开放了约 30 年。下图的分数流成本为 58。任何不可分割流（容量违规不超过 15）的成本至少为 60。这是在 GPT 5.6 Pro 中发现的：

chatgpt.com/share/6a60b2eb…

2026 年 7 月 22 日 下午 12:18

377 万次浏览

239 条回复

855 次转发

9.11K 次点赞

再见了 Dinitz-Garg-Goemans！看起来雅可比行列式的推翻就像打破长期猜想的 4 分钟英里赛。现在所有人都知道这是可能的，他们正在疯狂地用推翻自己喜爱的猜想来消耗资源。它们可能很快都会倒下（除非 Anthropic 继续限制（我已复现））。

到那时：1）我们将看到这如何转化为应用，2）neti neti 。

#### （3）印度首个私营火箭——Skyroot Vikram-1——进入轨道

Gopika Gopakumar 和 Nivedita Bhattacharjee 为路透社撰写

印度航天初创公司 Skyroot 通过 Vikram-1——该国首个自主研发的轨道火箭——成功进入轨道。

我的朋友 Christian Keil 在 a16z 如此描述 Skyroot 的 Vikram-1：“把它想象成印度版的 Electron。大小与 RocketLab 火箭相当，同样不可重复使用。”我想强调，他就是这样描述的。显然，他的许多“新印度批评者”不喜欢他将它与“一家价值 400 亿美元公司的主力火箭（RocketLab）”进行比较。

事实是：Vikram-1 高 22 米，可携带最多 350 千克载荷。它有三个固体推进阶段和一个由 3D 打印发动机驱动的液体轨道调整模块。在首次飞行中，它将客户载荷送入了 450 千米轨道。整个飞行过程大约持续了十五分钟。

Skyroot 的速度令人印象深刻。印度在 2020 年向私营公司开放了航天领域。六年后，一家由前印度空间研究组织（ISRO，印度的 NASA）工程师创立的初创公司加入了极少数私营公司俱乐部，这些公司已经建造了火箭并将有效载荷送入轨道。

印度加入了更小的俱乐部：私营公司实现轨道飞行的国家。其他成员包括美国、中国和新西兰。Rocket Lab 虽然出生在新西兰，但到 2018 年 Electron 首次从新西兰进入轨道时，总部已在美国。我认为我们应该将其计入。

俄罗斯令人惊讶地尚未加入这一行列，尽管其国家航天计划有着辉煌的成就。苏联于1957年将人造卫星送入轨道，但七十年后，尚无任何私营俄罗斯公司完成这一壮举。共产主义的崩溃是彻底的。

世界上大多数人对印度的成就感到欣喜，除了少数MAGA匿名账号，他们完全可能在印度人未接手之前就发射火箭进入轨道。

Chak De，印度！🇮🇳

#### (4) 科学：新的黄金时代

主任迈克尔·克雷西奥斯

周二，白宫科学顾问迈克尔·克雷西奥斯发布了《科学：新的黄金时代》（Science: A New Golden Age），这是一份123页的文件，旨在为2026年的美国科学界提供指导，其作用类似于1945年范内瓦·布什（Vannevar Bush）的《科学：无尽的前沿》（Science: The Endless Frontier）。

布什的报告确立了联邦政府在支持基础研究中的角色，推动了国家科学基金会的创建，并设计了过去八十年资助美国科学的体系。

克雷西奥斯的论点是，布什的体系确实有效！……但如此有效以至于变得僵化。

联邦政府每年通过科学家向科学家小组提交详细项目提案并达成共识的模式，分配约2000亿美元的研发资金。这一模式在区分合理科学与荒谬理论方面表现不错，但在区分可能具有革命性意义的科学与仅仅扎实的科学方面效果较差，因为可能具有革命性的科学在成功之前往往看起来像荒谬理论。它并不擅长认真对待奇怪的想法。

该流程也变得令人窒息地缓慢。研究人员将近一半的时间都花在行政工作上。从1991年到2025年1月，联邦政府为研究资助增加了至少270项新要求。一些资助项目从提交到获批可能需要长达20个月，报告中帮助指出，这个时间几乎与波音公司从设计图纸到生产747飞机所用的时间一样长。

《科学：新的黄金时代》提议将这2000亿美元更多地视为一个投资组合，针对不同类型的科学研究设计不同的资助机制。

一些研究人员将根据其才能和过往记录获得长期资助，而不是被迫每三年发明一个新项目。霍华德·休斯医学研究所（Howard Hughes Medical Institute）为其研究人员提供七年内约1000万美元的资金，要求最少的报告和对早期失败的容忍度。报告中引用的研究发现，这些科学家的高影响力工作产出率几乎是同样成就的联邦资助同行的两倍。那么为什么联邦层面不采用这种模式呢？

小型探索性项目可以像疫情期间的Collisons那样获得“快速拨款”（fast grants），只需几页的申请，决策时间在一个月内完成，而不是六到九个月（非常不错）。评审人员可以收到“黄金票”（golden tickets），允许他们各自支持一个其他委员会成员不喜欢的非传统提案。机构可以更多地使用奖金、预先市场承诺和雄心勃勃的挑战项目，这些项目以成果支付而非报销投入。

该报告提议重新启动资助计划，为科学家提供小规模资金池，用于在领域内形成共识之前，资助有潜力的个人和项目。报告呼吁设立更多类似DARPA的项目主管，他们能够构建理论、组建团队，并制定协调的资助组合。同时，报告希望每个主要科学机构都设立一个元科学研究部门，对资助流程本身进行受控实验，测试快速资助、黄金通行证、部分彩票或其他机制是否能产生更高质量的科学成果。我完全赞同这些提议。

如果你在过去几年关注过进步研究领域，这份报告读起来就像一张经典歌曲合集。它引用了Heidi Williams关于重建NIH的建议、Patrick Collison的快速资助计划、Sam Rodriques和Adam Marblestone关于聚焦研究组织的设想、Caleb Watney关于X-Labs的方案、Ben Reinhardt关于解构大学的思考、维苏威挑战赛、ARPA-E、HHMI以及高等研究院的相关内容。

该报告并非行政命令，不会立即改变NIH或NSF的资助方式。但报告与一份2028财年研发优先事项备忘录同时发布，要求联邦机构将这些建议纳入下一份预算提案，并在90天内提交实施计划。

这里也存在重大风险。报告主张联邦科学资助需要更加“政治问责”。从宪法意义上讲——即由选举产生的政府决定公共资金的使用方式——这显然是正确的。但在实践中，赋予政治任命官员更多科学资助的裁量权，显然会为“资助共识小组忽视的高风险研究”走向“埃里克·特朗普获得170亿美元彻底推翻弦理论”打开通道。

Packy McCormick @packyM

终于，埃里克·特朗普将获得他彻底推翻弦理论所需的170亿美元，让美国物理学重回正轨。 @mkratsios47

为响应总统关于复兴美国科学事业的呼吁，今天我发布《科学：新的黄金时代》。这份报告是重振21世纪美国科学领导地位的蓝图。

2026年7月22日 凌晨12:17 17.5K次浏览 7条评论 67次点赞

一项拟议的OMB规则将赋予政治任命官员在资助发放前阻止资助以及终止与行政优先事项不符的现有资助的权力。这与黄金通行证、快速资助或授权技术项目主管等机制并不相同，将政治控制伪装在元科学研究的旗帜下是错误的。

该计划的最佳版本应创造更多独立的科学判断来源，而不是用另一种集中共识取代现有共识。它将结合传统同行评审、对个人科学家的长期投资、快速资助、奖金、彩票、再资助以及DARPA风格的资助组合，然后公开衡量哪些方法对哪些类型的问题更有效。项目主管应拥有更多自由进行非传统投资，但他们的选择、利益冲突、里程碑和长期记录必须清晰可查。

这份报告中有很多精彩内容，如果几年前告诉我这些内容来自白宫，我一定会惊讶不已。现在，挑战在于如何将这些想法转化为造福全人类的实践。

#### (5) Anduril和Archer带来雷霆

上周有读者表示要退订，因为他们认为我在通过强调自主船艇初创公司Saronic的“非常大的一周”来庆祝战争。

需要明确的是，我并不庆祝战争，而且我认为为国防（DoW）而努力的人中，很少有人会这么做。战争是一种愚蠢而粗暴的解决冲突方式，我们本应找到更好的解决办法。战争中每一条生命的逝去都是一场悲剧。

但不幸的是，战争是生活中无法回避的事实。如果这是无法改变的现实，我希望美国拥有足够强大的军备来威慑战争，并且理想情况下，军备的自动化程度足够高，从而减少人员伤亡。正如Anduril所说：“现代战场是一个机器人的杀戮区。”

因此，Anduril和Archer宣布推出Thunder——“一款五级自主攻击旋翼机”的消息令人欣慰。其设想是让这些无人系统作为有人驾驶的阿帕奇直升机的僚机，率先出击进行侦察、消除威胁，并在必要时吸引敌方火力以保护机组人员。

在动漫风格的宣传片（参见：《伟大的区分》）中，Anduril展示了自主的Thunder飞在前方，消灭威胁人类飞行员直升机的无人机和导弹。原来，他们是一对父子，任务结束后得以团聚，而这次任务可能原本会夺走他们的生命。

这个隐喻略显直白，但我觉得这体现了Anduril对该项目的看法：让自主系统而非人类士兵置身于危险之中。

希望有那么一天，战争能变成完全由自主机器对战自主机器，双方浪费金钱却无需让人类卷入，直到这种模拟变得过于荒谬，我们最终选择放弃战争。这又是一个朝着这个方向迈出的小步。

在近期的积极消息中，Archer将把同一平台用于商业用途，命名为Archer Halo。

该平台将专注于“在搜索与救援、物流、离岸能源、人道主义与医疗物资运输、海事运营等领域开展无人商业任务”。

#### 额外内容：科学突破（包括小鼠衰老研究突破、Doudna的CRISPR工作和胰腺癌疫苗）、Chris Paik在Frontier的动态、Star Axis

使用7天免费试用继续阅读

订阅Packy McCormick的Not Boring，继续阅读本文并获得7天免费访问完整文章档案的权限。

开始试用

已是付费订阅者？