美伊波斯湾交火：科威特机场被袭，停火框架急剧承压
6月3日，美国与伊朗在波斯湾发生本轮停火以来最密集的一轮对抗。据《华盛顿邮报》报道，伊朗当天出动无人机对科威特国际机场客运楼实施打击，造成1名印度籍工人死亡，逾60人受伤，科威特被迫临时暂停商业航班。机场随后从备用航站楼部分恢复运营，科威特航空航班在当日晚间逐步复航。
此次袭击是伊朗对美国6月2日行动的报复回击——美军使用”地狱火”导弹击中一艘正驶向伊朗霍尔克岛港口的博茨瓦纳籍油轮。伊朗同日还宣称对巴林的美军基地以及霍尔木兹海峡附近一艘船只发动了攻击。伊方半官方媒体宣布，德黑兰已停止通过中间人传递延长停火的相关信息，要求黎巴嫩战场的停火条款先得到执行，才会重返谈判桌。
特朗普周三则公开表示谈判仍在”高速推进”，与伊朗官方表态形成直接矛盾。分歧的核心在于：伊朗外长阿拉格奇明确宣示，对伊朗与美国之间的停火必须覆盖所有战线，包括黎巴嫩——而以色列持续对贝鲁特郊区达希耶地区的真主党目标发动空袭，正在突破这一红线。特朗普向谈判文本提出了更强硬的核承诺和霍尔木兹重开条款，双方距正式签字的距离依然遥远。
背景参见：《美伊和谈破裂：美军宣布今日起全面封锁伊朗港口》 · 《美伊停火倒计时：美军扣押”图斯卡”号货轮，谈判前景岌岌可危》 · 《今日要闻（2026年5月30日）》
来源：Washington Post — Iran and the US trade strikes in the Persian Gulf · ABC News — Iran live updates: Iran targets US forces, Kuwait airport · CNN — Live updates: Iran war news; Kuwait’s airport attacked · NPR — Iran halts talks with U.S. over Israeli actions in Lebanon, Gaza
鲁比奥国会听证：首次就伊朗战争接受质询，共和党内出现制约战权声音
6月2日，国务卿马尔科·鲁比奥出席参议院外交关系委员会听证，这是他自今年2月28日美以联合打击伊朗以来首次在国会公开作证。他表示，伊朗已同意就核计划展开谈判，涵盖此前拒绝讨论的议题，但警告”这并不保证最终能达成参议院或美国人民能接受的协议”。鲁比奥称，美军打击已严重削弱伊朗的常规军事体系，摧毁其海军力量并大幅压缩无人机能力。
听证中最值得关注的政治信号，来自共和党内部的异动：多名共和党参议员加入民主党，联署修正案，要求行政当局就伊朗战争的法律授权向国会作出正式说明。民主党参议员蒂姆·凯恩直接指斥政府的战争权力通知”不是协商，而是为了逃避这个委员会的质询”，并要求鲁比奥促使白宫公开伊朗战争的法律意见。鲁比奥表示协议可能”今天、明天或下周”达成，外界将此解读为谈判窗口仍未彻底关闭。
来源：PBS NewsHour — Rubio testifies on Capitol Hill for 1st time since start of Iran war · CNBC — Rubio says U.S. is in talks with Iran over nuclear program as senators press for war endgame · The Hill — Rubio braces for Hill grilling as Republicans join bid to curb Trump’s Iran war powers
微软Build 2026：MAI-Thinking-1与MAI-Code-1-Flash问世，宣告脱离OpenAI的独立路线
6月2日，微软在Build 2026开发者大会上发布七款自研MAI系列模型，其中最受关注的是MAI-Thinking-1推理模型和MAI-Code-1-Flash编程模型——这是微软首批完全不使用OpenAI数据训练的基础模型，标志着双方技术路线的实质性分叉。
MAI-Code-1-Flash是一个参数量50亿的编程专用模型，当天开始向Visual Studio Code中的GitHub Copilot个人用户推送，后续将覆盖Free、Pro、Pro+及Max等全部套餐级别。基准测试显示，MAI-Code-1-Flash在全部四项核心编程测试中均超越Claude Haiku 4.5，其中SWE-Bench Pro上以51.2%对35.2%领先16个百分点，且在SWE-Bench Verified中可以减少最多60%的token用量完成同等编程任务。MAI-Thinking-1则定位高难度推理场景，是微软首款完整的内部自研推理模型，暗示其正在加快构建可与OpenAI平行的模型能力栈。
来源：CNBC — Microsoft unveils new AI models to lessen reliance on OpenAI and lower costs for developers · Neowin — Microsoft unveils MAI-Thinking-1 reasoning and MAI-Code-1 coding models · TechTimes — Microsoft Build 2026: MAI-Thinking-1 Is First In-House Reasoning Model, Trained Without OpenAI Data · Gizbot — Microsoft Build 2026 Highlights: From MAI-Code-1 to Project Solara
NASA X-59：安静超音速验证机本月预计首度突破音障
NASA”安静超音速技术”（QueSST）验证机X-59本月内将迎来项目里程碑：预计在6月初完成首次超音速飞行，届时将以逾630英里/时（约Mach 0.95之后首次超越Mach 1）的速度飞行于43,000英尺高空。据Space.com与ScienceDaily报道，X-59自2025年10月首飞后，经历计划性维护并于2026年3月恢复飞行测试，截至本月已累计完成14次飞行，速度已接近至Mach 0.95。
X-59的核心设计突破在于以”柔和轰鸣”（sonic thump）取代传统音爆——设计噪音仅75 EPNdB，大约相当于一扇车门关闭的声音，远低于协和式客机的105–110 EPNdB。若此次测试成功，将为美国联邦航空局（FAA）重新审视1973年起禁止超音速商业飞行的禁令提供关键实验数据。后续测试计划中，X-59最终将以Mach 1.4（约925英里/时）的速度飞越居民区，收集地面真实感知数据。
来源：Space.com — NASA’s X-59 jet is ready to break the sound barrier for the 1st time this month · ScienceDaily — NASA’s X-59 is about to break the sound barrier for the first time · AIAA — NASA’s X-59 Prepares for First Supersonic Flight This Month · Gizmodo — NASA’s Quiet Supersonic Jet Is Ready for Its Biggest Test Yet