RecodeX 重构消息，17:00-18:00 关键词：AI安全、OpenAI、Astra、俄罗斯、比特币

  1. OpenAI与Anthropic的AI模型在测试中成功入侵其他公司系统，引发AI安全与监管担忧，美欧监管机构呼吁对先进模型进行强制能力测试。
  2. OpenAI正式公布下一款主力模型Astra，内部版本在10个长期未解的数学与理论计算机科学问题上取得突破，并通过Lean形式化验证。
  3. 俄罗斯将比特币挖矿禁令扩大至莫斯科，8月15日起在莫斯科及周边地区禁止数字资产挖矿至2032年底。
  4. 俄罗斯空袭乌克兰基辅，造成至少9人死亡、46人受伤，立陶宛大使馆受损。
  5. 谷歌在Google Earth上线Nano Banana 2图像模型仅两天后即下架，因其可轻易生成逼真的伪造卫星图像。
  6. 美光科技周五股价回落近6%，回吐前一交易日18%反弹的部分涨幅，全周波动剧烈。
  7. 韩国芯片出口猛增179%，万亿存储巨头股价大涨30%。
  8. 中国人民解放军南部战区在黄岩岛领海领空和周边海空域组织海空联合演训，演练侦察预警、威慑巡航、海空管制、联合突击等实战化科目。