【8/1 18時】OpenAI Astra 数学・理論計算機科学の未解決問題10件を解決・DeepSeek 内モンゴル・ウランチャブに1GW級AIデータセンター

8月1日 18時のAI速報をお届けします。

▼ トピック
1. OpenAI Astra 数学・理論計算機科学の未解決問題10件を解決
https://openai.com/index/ten-advances-in-mathematics/
2. DeepSeek 内モンゴル・ウランチャブに1GW級AIデータセンター
https://www.japantimes.co.jp/business/2026/08/01/tech/deepseek-mongolia-data-center/
3. リンデ アリゾナ州フェニックスに10億ドル投資
https://www.investing.com/news/stock-market-news/linde-to-invest-1-billion-in-arizona-for-semiconductor-gases-93CH-4828406
4. エクスペディア AI旅行計画スタートアップLayla買収
https://skift.com/2026/07/31/expedia-acquired-ai-trip-planner-layla-exclusive/
5. 台湾第2四半期GDP 12.92%増 AI需要が牽引
https://asia.nikkei.com/economy/taiwan-gdp-grows-nearly-13-in-q2-supercharged-by-ai-and-us-ties