本期从三方向 22 条候选中精选 18 条（科技/AI 6 · 能源/财经 6 · 国际/商业 6），并写 3 组焦点深读。
今日主线：地缘溢价一日崩塌 · 欧洲干旱把核电基荷打回原形 · AI 进入"可验证性"时代。
7 月 31 日布伦特原油站上 90.04 美元，单月累涨约 24%，是 3 月首轮美伊冲突以来最大月度涨幅；欧洲 TTF 天然气同期涨 35%。8 月 3 日亚洲早盘，特朗普一句"霍尔木兹已有协议、今天下午开谈"，把这套溢价打回去大半—— - WTI 9 月合约：前收盘 84.67，06:50 最低 78.78（-6.96%）跌破 80 关口，08:23 收窄至 81.24（-4.05%）。 - 布伦特 10 月合约：最大跌幅 7.3% 至 81.55，随后回到 83.6 一线。 为什么弹性这么大？因为缓冲垫已经没了。 据证券时报/券商中国 8 月 2 日报道引 EIA 数据：美国战略石油储备（SPR）降至 3.077 亿桶，创 1983 年 3 月以来 43 年最低，库容填充率仅 43%；7 月日均放储速率已从 5—6 月的超 100 万桶/日腰斩至 60 万桶/日；能源部长 Chris Wright 7 月 31 日明确表示，在完成 3 月宣布的 1.72 亿桶释放计划后，当局对进一步动用 SPR "毫无念头"。同期 CBOE 原油波动率指数 OVX 报 75.96，虽已从 3 月中旬 120.91 的峰值回落，仍处历史高位——它衡量的是市场愿为未来 30 天油价剧烈波动支付的"保险费"。当物理缓冲耗尽，价格对每一条地缘头条的反应都会被放大到失真——这不是供需在定价，是叙事在定价。 📎 同日 OPEC+ 七国确认 9 月增产 18.8 万桶/日，但霍尔木兹通航未恢复，增产对现货基本无效，说明市场买的从来不是桶数，是通道。 连锁反应已经跑出来了：黄金 +0.75% 报 4076.83、白银 +1.42% 报 58.45，美股三大期指走高，10 年期与 30 年期美债期货分别涨 13、22 个基点；韩国 KOSPI 开盘重挫、盘中跌逾 5%，而上一交易日它刚创下 +17.91% 的历史最大单日涨幅。两天之内一涨 17.91%、一跌 5%，动的不是基本面，是杠杆。 后续看什么：① 8 月 3 日下午的"美伊谈判"是否真的存在（详见国际板块①，伊方至今未确认这件事本身）；② CME 定价的美联储 9 月加息 25bp 概率 73.6%——这条链的第一环正是 7 月能源通胀，若油价崩塌延续，73.6% 大概率要被重新定价；③ 霍尔木兹实际通航数据，而非任何一方的口头协议。
这是本期与你专业最相关的一条，也是一个可以完整拆解的"热浪—水文—电力—物流—GDP"耦合案例。 第一环，水文。 多瑙河布达佩斯段 8 月 1 日 23 时水位降至 16 厘米创历史新低（7 月 29 日曾录得 23 厘米，已破 2018 年 33 厘米纪录）。德国莱茵河科隆站 67–68 厘米、杜伊斯堡-鲁尔奥特站 153 厘米，双双创历史新低。 第二环，电力。 匈牙利保克什核电站 4 台机组总装机约 2000 兆瓦、承担全国 40%–50% 发电量，因冷却水源不足，倒数第二台机组凌晨 1:30 关闭、全站出力一度仅剩 240 兆瓦，8 月 2 日起 44 年来首次完全停运。叠加第二大燃气电厂多瑙门蒂故障，匈国内发电能力下降 2400 兆瓦。罗马尼亚切尔纳沃德核电站两台机组首次因多瑙河水位过低同时关停，该站平时供应全国约五分之一电力。 第三环，物流。 莱茵河可用航道深度仅约 1.43 米，而大型货轮满载吃水需 2.8–3.5 米；DTG 报告载货量仅剩运力的 20% 左右，鹿特丹至卡尔斯鲁厄内河油轮运价升至 6 月底的 3 倍多。 第四环，宏观。 基尔世界经济研究所测算莱茵河水位将拖累德国三季度 GDP 增速 0.1–0.2 个百分点（二季度环比仅 +0.2%），2018 年同类事件曾造成约 24 亿欧元损失。 这件事真正的知识点是：我们习惯把核电写成"稳定基荷电源"，但这个标签有一个很少被写进模型的前提——冷源可用率。气候变化正在把它从一个工程参数，变成一个系统性风险变量。对做电力系统规划的人来说，这意味着容量充裕度评估里需要引入水文情景，而不只是机组可用率的经验值。 对照着看中国的解法（详见能源板块③）：上海今夏最高负荷已达 4253 万千瓦，智算中心用电年均增长 1.2 倍，外来电占主网比重接近一半。上海的三连招是一条完整递进——送得进（蒙电入沪过江，库布齐风光电经特高压至崇明换流过江，年送超 400 亿千瓦时、绿电过半）、存得住（华能石洞口退役火电厂改造为新型储能测试基地，钠离子、固态、液流多路线验证）、用得清（绿电直连方案 8 月启动首批企业申报）。市发改委能源处处长王智强的判断值得记下来：当风光占比升到 30%–40% 以上，4 小时以上长时储能就是刚需——极端天气连续 3–5 天无风，短时储能放完即空，只有长时储能能做跨天、跨周平衡。 后续看什么：匈牙利已授权电网运营商 MAVIR 在紧急情况下强制切断大用户（法规已生效但尚未启用），并自周一起在 17:00–22:00 高峰时段暂停铁路货运；欧盟电力协调组截至目前仍只是"stands ready to convene"，未实际召集。
今天有两条看似无关的新闻，其实在回答同一个问题：当计算结果已经超出人类和经典手段的复核能力，凭什么相信它是对的？ IBM 给出的答案是"把裁判请进来"。 三项实验都跑在 Quantum Heron 超导系统上，但卖点不是速度（三篇预印本编号与内容已逐篇核对）： - 与 Qedma 合作（arXiv:2607.24937，*Resolving Structure in Prethermal Floquet Dynamics*）：在 IBM Heron r3 上用 Qedma 的 QESEM 纠错缓解软件，测量 heavy-hex 晶格 Floquet 伊辛磁体最多 74 量子比特的磁化动力学，分辨出长寿命亚谐预热振荡。注意口径：日本"富岳"超算在这里不是裁判而是被超越的对手——张量网络方法不收敛、稀疏 Pauli 路径模拟即便动用 GPU 集群与富岳仍强烈依赖截断参数；真正的交叉验证来自 Quantinuum System Model H2 与 Helios 离子阱硬件在选定 Floquet 周期上的复现——超导与离子阱噪声机制完全不同却给出一致结果，这比单机跑分强得多； - 与 Algorithmiq 合作（arXiv:2607.25998，*Observable Estimation in the Absence of Classical Verification*）：模拟异质量子材料的半扰乱动力学，为此引入算符 Loschmidt 回声这一新可观测量；多种经典方法互相给出冲突的预测，于是团队改用噪声注入、改标定、多机执行来验证结果稳定性。同时开源经典模拟包 monoprop（github.com/algorithmiq/monoprop），主动请外界来证伪自己。（中文稿流传的"56 量子比特"未见于论文摘要与 IBM 通稿，本报暂不采信） - 与芝加哥大学（Bill Fefferman 组）合作（arXiv:2607.25941，*Sampling hard circuits with verifiably high fidelity*）：用掺了 468 个 T 门的 70 比特、深度 70 Clifford 电路，把纠错检测通过时空码嵌进电路本身，syndrome 后选择后有效门错误率压低约 10 倍，并自带保真度证书。 OpenAI 给出的答案是"把证明交出来"。 下一代模型 Astra 攻克十项数十年未解的数学与理论计算机科学难题——构造出非 sofic 群（Gromov 1999 年提出后悬置 27 年）、否证 Connes 刚性猜想、证明 Ehrhart 体积猜想、解决三个 Erdős 问题、把高维球堆积上界推到 Cohn–Elkies 阈值。真正改变规则的是交付方式：同时放出 249 页手稿、模型推理过程，以及全部结果的 Lean 4 形式化证书（Apache 2.0 开源，仓库 sorry_count = 0，即没有一步被跳过）。评审门槛从"相信实验室"变成"自己 build 一遍"。全部解题的 token 成本约 2000 美元。 但两边都要打折扣，这才是学习的重点： - IBM 那 70 个"逻辑量子比特"，实为 70 个受错误检测保护的数据比特（共用 97 个物理比特编码，即 27 个用于 syndrome），不是容错意义上的逻辑比特；论文自报的认证保真度下界仅 0.284（95% 置信），且证书是"设备相关"的（device dependent，原文明示）。中文稿常引的"后选择开销约 860 倍"未见于摘要，需查正文。三篇均为 7 月 27–28 日投稿的 arXiv 预印本（2607.24937 / 2607.25941 / 2607.25998），未同行评审。 - Lean 只验证"形式化之后的那个命题"，不验证形式化是否忠实对应原问题、也不验证结果是否新颖。且 OpenAI 有前科：2025 年 10 月曾称 GPT-5 解决十个 Erdős 问题，被 erdosproblems.com 维护者 Thomas Bloom 斥为"严重失实"（模型只是找到了已有文献）；这次 Bloom 本人称其为"大新闻"，这个态度反转本身值得跟踪。 第三个答案来自监管：用法律强制"自报家门"。 欧盟《人工智能法》第 50 条透明度义务已于 8 月 2 日生效——聊天机器人须告知用户在与 AI 对话，深度伪造须显著标注并加机器可读标记。 把三件事连起来看：技术侧在造证书，监管侧在造标签，二者指向同一个稀缺品——可验证的信任。谁能把验证成本压到最低，谁就拿到下一阶段的定价权。这也是判断任何 AI 宣称时最该问的一句话：你让我怎么验证你？