因波斯湾冲突升级，中国国家发改委要求大型炼油厂暂停柴油和汽油出口，优先保障国内供应。中国约一半的石油进口来自海湾地区，此次限制措施不包括航空燃料、船用燃料以及对港澳的供应。

MIT经济学家探讨如何构建增强而非替代工人的AI系统，分析当前自动化倾向的三大障碍，并提出五个设计原则来支持工人能力发展。

Anthropic确认达到190亿美元ARR，距离OpenAI的200亿美元仅一步之遥；Google发布Gemini 3.1 Flash-Lite强调极速性价比；OpenAI推出GPT-5.3 Instant回应此前过于谨慎的批评；阿里巴巴Qwen团队大量核心技术成员集体离职，引发开源社区对项目前景的担忧。

面对传统投资与出口模式受保护主义、产能过剩和房地产危机冲击，中国将在十五五规划中历史性转向消费驱动增长，目标到2030年将消费占GDP比重从41%提升至46%，重点通过发展服务消费实现经济再平衡。

OpenAI从Anthropic手中夺取五角大楼合同，最初使用FISA等有争议法律框架引发强烈反弹，用户大规模卸载ChatGPT，Altman被迫修改合同增加更明确的国内监控禁令，但AI与商业数据结合的隐私威胁仍令人担忧。

文章提出AI代理应当使用连接组件的基础设施而非专用框架，并介绍了基于Inngest事件驱动架构的Utah项目。

人类与AI合作首次形式化验证了菲尔兹奖级别的球堆积数学证明

市场对AI持怀疑态度可能是最健康的信号。Nvidia创纪录的财报背后隐藏着库存翻倍、折旧不实等隐患；AI基础设施成本超预期、生产力收益存疑；软件板块暴跌30%，劳动力市场焦虑加剧。卖铲子的Nvidia赚得盆满钵满，但买铲子的人可能面临价值重估的风险。

Anthropic在五角大楼价值1亿美元的无人机蜂群竞赛期间提交了技术方案，但最终未被选中，随后国防部长赫格塞斯下令禁止与Anthropic的商业活动。

CUDA Agent是一个基于大规模智能体强化学习的CUDA内核生成与优化系统，通过可扩展数据合成、技能增强的开发环境和稳定的长上下文训练，在KernelBench基准上实现了超越torch.compile的最优性能。

OpenAI联合创始人Greg Brockman在3小时播客访谈中首次完整披露2023年宫斗事件全貌、与马斯克的控制权谈判破裂内幕，以及公司当前战略方向，揭示了95%员工请愿、Ilya Sutskever后悔发帖等关键细节。

披露以色列如何通过多年情报渗透、黑客入侵交通摄像头和手机网络，成功暗杀伊朗最高领袖哈梅内伊的详细计划。

文章探讨AI时代代码审查的终结，提出从人工逐行审查转向规范驱动开发，通过多层验证机制（多选项竞争、确定性护栏、BDD框架、权限系统、对抗性验证）来建立对AI生成代码的信任。

本文探讨了软件工程领域中的一个系统性问题：过度构建的工程师容易获得晋升，而用最简单方案解决问题的工程师却被忽视。文章分析了这种现象在面试、设计评审和晋升决策中的表现，并提出了对工程师和领导者的具体建议。

报道Math, Inc.使用AI系统Gauss在三周内完成8维和24维球体堆积问题的形式化证明，将形式化规模从7万行扩展至约20万行的历史性成就。

作者展示了如何通过梯度下降训练一个Transformer模型，使其成为一个能够执行SUBLEQ程序的通用计算机，验证了深度学习模型学习执行任意算法的可能性。

本文通过Cursor ARR传闻、Ars Technica记者造假丑闻等案例，揭示了AI时代虚假信息泛滥导致的信任危机，分析了社交媒体从真实社交向AI内容演进的历程，并分享了Qwen 3.5小模型和代码代理可靠性提升的技术动态。

教程介绍开源工具OpenClaw设置个人AI代理的方法，通过四个真实用户案例展示从远程编码到家庭助手的应用场景。

Cognition.ai 发布 SWE-1.6 训练进展，该模型在 SWE-Bench Pro 上比 SWE-1.5 提升 11%，训练速度提升 6 倍，并引入 Model UX 概念关注模型用户体验。

特朗普发动对伊朗战争，但其政府给出的理由前后矛盾且混乱，从政权更迭到消除核威胁说法不一，引发外界对美国能否在不明确战争目标的情况下获胜的质疑。