热门 AI 内容与前沿研究速览 - 第 257 页
OPEC+为何维持10月产油政策不变：焦点转向2027年配额与霍尔木兹风险
16 来源0七个核心成员在9月完成165万桶/日自愿减产的分阶段回撤后，决定10月不再调整产量政策；约200万桶/日的更广泛减产仍将维持至2026年底。
Claude 用 11 天将费马大定理形式化为 Lean 机器验证证明：真正突破是什么？
16 来源0Anthropic 称，Claude 智能体用 11 天将一条既有的怀尔斯式证明路线形式化为 Lean 代码，生成约 1300 万行代码；最终证明链使用了约 2.95 万个中间定理。
制裁如何重塑俄罗斯黄金流向：从迪拜转向香港
16 来源0西方对俄罗斯黄金的进口限制切断了其进入伦敦及G7关联市场的重要通道，却未使实物黄金贸易停止；香港2025年从俄罗斯进口92.1吨黄金，价值约105亿美元，进口量同比增长42%。[16]
德国认定俄方策划莱比锡机场无人机事件：混合威胁为何令欧洲警觉
25 来源0德国认定，2026年8月4日莱比锡/哈雷机场一架携带爆炸装置、出现在乌克兰货机附近的无人机事件，是俄方所为的未遂“混合攻击”。
伊朗上调超额汽油价格：补贴未退场，压力正传导至国内
20 来源0自9月8日起，伊朗月用油超过110升的部分每升收费1万土曼，较此前的5000土曼翻倍；前60升仍为每升1500土曼，接下来的50升仍为每升3000土曼。
Kraken 上线 OpenAI 与 Anthropic IPO 前永续合约：能交易什么，风险又在哪里？
18 来源0PF OPENAIXUSD 和 PF ANTHROPICXUSD 是现金结算永续合约，合资格客户可对 OpenAI、Anthropic 的合成估值敞口做多或做空，最高杠杆为 5 倍。
华为 Mate XT 2 对比小米 18 Fold：同日登场，却是两条折叠屏路线
27 来源0华为 Mate XT 2 将于 2026 年 9 月 7 日 14:30 发布，主打可展开为平板级大屏的三折叠形态；小米 18 Fold 同日亮相，采用短宽比例的书本式内折设计。[13][14][46]
