#76 10年動かなかった数学の難問10件をAIが31万円ぶんの計算で突破｜経産省があす「AI産業課」新設・EUが罰金権限を発動・アリババが最上位モデルを無償公開へ

経営者のAIモーニング｜毎朝10分のAIニュース · Aug 3, 2026 · 9m

経営者のAIモーニング第76回（2026年8月4日配信）。10年以上だれも前に進めなかった数学の難問が10件まとめて動きました。かかった計算量は、料金に直すとおよそ31万円ぶん。今日は「AIが案を出す側から手を動かす側に回った」を軸に7本お届けします。今日の7トピック：①OpenAIが次期主力モデル「Astra」で未解決問題10件に新結果 — 証明をLeanで機械検査できる形にしたのはモデル自身。査読はこれから②経済産業省があす8月5日施行でAIとロボット政策を一元化 — 商務情報政策局に通称「AI産業課」を新設③EU AI法の執行権限が8月2日に発動 — 汎用AIモデル提供者に全世界売上の3%または1500万ユーロの罰金が可能に④アリババがQwen3.8-Maxを正式公開、来週オープンウェイト公開へ — Max級の重み公開は初⑤AI・人工知能EXPO NEOが8月5日・6日に東京国際フォーラムで開催（入場無料・事前登録制・約100社出展）⑥MicrosoftのProject Perceptionが8月3日パブリックプレビュー — 赤・青・緑の3エージェントが自動で修復まで実行⑦Amazon傘下ZooxがNHTSAから初の商用適用除外 —…