OpenAI 8月1日官方公布下一代核心模型Astra在数学与理论计算机科学领域的10项突破，包括Erdős问题183、Connes刚性猜想、高维球堆积密度上界1978年以来首次改进等。同步发布249页论文及Lean机器可验证证明仓库，按Sol API费率计算总Token消耗约2000美元。这是前沿实验室首次以“可公开检验”的方式展示模型科研能力。
美国众议院国土安全委员会和美中战略竞争特别委员会联合调查DoorDash使用月之暗面Kimi K2.6模型。这是该调查的第三波打击：4月首函对象是Airbnb和Cursor（开发者工具），本次扩展至消费级外卖平台。DoorDash须在8月14日前回复。
欧盟委员会呼吁建设专用监控工具，欧洲AI办公室获得GPAI模型提供商执法权。
发改委/工信部/海关等6部门密集表态，推进“模芯云用”全链条协同，AI行业增速预计超30%。
249页论文+Lean证明仓库，数学社区可独立验证，前沿实验室透明度新高度。
优化算力资源部署，开展卡间互联技术攻关，打造梯次化算力布局。
调查函的逻辑是：你用中国模型是因为便宜好用，但“便宜好用”本身就是安全风险。这意味着美国私企的模型选型自由正在被安全叙事系统性压缩——不是禁止使用，但“被调查”本身就是惩罚。
短期看，调查会让美国企业在选择中国模型时更加谨慎，尤其是有合规压力的上市公司。但中期看，这波调查反而是最好的免费广告——美方议员公开披露的“Kimi K2.6比美国模型便宜好用”，会告诉全球开发者中国模型的性价比。东南亚、中东、欧洲的采用可能反而加速。
DoorDash是通过“模型路由服务”委托任务给Kimi K2.6的——这意味着用户可能并不直接知道底层用的是中国模型。如果监管要求模型路由层披露底层模型来源，将对OpenRouter、火山引擎等中间层产生重大影响。
同一周，欧盟也在加速：呼吁建设专用监控工具+AI法案执法正式生效。中美欧三方同时收紧监管，大陆AI企业的全球化路径正在被系统性压缩——不是某一个市场的问题，而是多个市场同时收紧。