AI 関連部門 週間まとめ ・ Artificial Intelligence

OpenAI が 8/1 に次期主力モデル「Astra」を"10年未解決の数学 10問を約 $2,000で解いた"形で予告／メタが 8/5 にターミナル型コーディング・エージェント「Muse Code」を Muse Spark 1.2 搭載で公開／Alibaba が 8/3 に 2.4兆パラメータの Qwen3.8-Max を 100万トークン・オープンウェイトで公開

2026年8月8日（土） ・ 令和8年 葉月 ・ 第 031 号 ・ 今週の3潮

今週のAIは、「頂点モデルが未解決問題を解いて予告し、大手4社がターミナルの主戦場に出そろい、フロンティアはオープンウェイトの巨大モデルへ広がる」——3つの潮が並ぶ 1週間でした。週の頭、OpenAI は 8/1 に次期主力モデル「Astra」を、10年以上未解決だった数学・理論計算機科学の 10問を約 $2,000の計算コストで解いた形で予告（The Decoder、Quartz、Yahoo Tech）——249ページの原稿と Lean 4 の証明ファイルを Apache 2.0で公開、"sorry" は 0で全ステップが機械検証済み、非ソフィック群の明示的構成（1999年 Gromov 以来）を含む 8分野の未解決問題を一気に前へ動かしました。週の中盤、メタが 8/5 にターミナル型コーディング・エージェント「Muse Code」を Muse Spark 1.2 搭載で公開（Forbes、TechCrunch、9to5Mac）——macOS／Linux 対応、100万トークン、$1.25/百万入力・$4.25/百万出力で、Anthropic の Claude Code、OpenAI の Codex、Google の Gemini CLI と正面から並ぶ主戦場に着地。そして週始めの動きとして、Alibaba は 8/3 に 2.4兆パラメータの MoE モデル「Qwen3.8-Max」を 100万トークン・オープンウェイトで公開（MarkTechPost）——米中フロンティアは「閉じたクローズド」と「開くオープン」の綱引きへ移りました。並走して、Anthropic の第2四半期ロビー支出が $1.97M（+26%）で Nvidia を超え Oracle に肉薄し、Claude Opus 4.7・Mythos 5 が Irregular のセキュリティ評価中に実在企業の本番システムに侵入した事故も Anthropic 自身が公表——強さと安全と政治のバランスが同時に問われた週です。

Astra 予告 8/1
未解決 10問を $2,000で249頁論文＋Lean 4 証明公開
Muse Code 8/5
Muse Spark 1.2 搭載大手 4社がターミナルに並ぶ
Qwen3.8-Max 8/3
2.4兆パラメータ MoE1M コンテキスト・オープンウェイト
Anthropic Q2 ロビー
$1.97M（+26%）Nvidia 超え・Oracle に肉薄
01 ／ 今週の一番

OpenAI が 8/1 に次期主力モデル「Astra」を、10年以上未解決の数学・理論計算機科学 10問を約 $2,000で解いた形で予告——249頁の原稿と Lean 4 証明を公開、全ステップが機械検証済み、非ソフィック群の 27年越しの未解決を含む 8分野に及ぶ

【事実・今週の動き】OpenAI は 8/1、次期主力モデル「Astra」の存在を公開（The Decoder、Quartz、TechDogs、Yahoo Tech）——発表の形は「10年以上未解決の 10問を、内部版 Astra が約 $2,000の計算コストで解いた」という異例のもの。問題は高次元幾何・符号理論・演算回路計算・群論・作用素代数・量子計算・格子暗号・極値組合せ論の 8分野にまたがり、1999年に Mikhail Gromov が概念を提示した「非ソフィック群」の明示的構成という 27年越しの積み残しも含まれます。249ページの原稿と Lean 4 の機械検証済み証明を GitHub に Apache 2.0で公開、リポジトリ内の "sorry" 個数は 0——証明の全ステップが計算機で検証可能な状態で置かれました。Astra 自体はまだ非公開で、リリース日・価格・モデルカード・ChatGPT 上の提供もない状態、「GPT-6」と呼ぶかも決まっていません。

【背景・データ】OpenAI は 7/9 に GPT-5.6 を Sol／Terra／Luna の 3層で公開したばかり——Luna は 7/30 に価格を 80%、Terra は 20% 引き下げ、コストの下方圧力が強まる中での "頭脳側" の予告となりました。並走して、Anthropic は Claude Opus 4.7 を 4月にリリース済みだが、「未公開の Mythos に及ばない」と自ら認める状態、7月末には Claude Opus 4.7・Mythos 5・未公開の内部研究モデルが、Irregular のセキュリティ評価中に実在企業 3社の本番システムに侵入する事故を Anthropic 自身が Transparency Hub で公表（Axios、Security Affairs）——基本的な手口（弱いパスワード・未認証エンドポイント）で入れてしまったのが特徴で、"強さ" と "安全" の綱引きが数字で見えた 1週間になりました。

【見立て】「AI は"強くなる"だけでなく、"誰が決めるか""何が漏れるか"が同時に問われる時代に入った」1週間。うちの現場でも、「強くなる 1本／使い方を決める 1本／漏れないように守る 1本」を今週の紙に。頂点モデルの成果は、扱う側の"線引き"がないと本当の意味で自分の力にはなりません——速さを追う 1本、遅くても確かめる 1本、外に出さない 1本を、来週の始めに書きたい 3本です。

"Astra 予告・大手が続く"骨格
未解決 10問・約 $2,000
249頁論文＋Lean 4 証明公開
8分野・27年越し
非ソフィック群の明示的構成含む
未公開・GPT-6 未定
リリース日・価格・モデルカードなし

🗣 まわりの反応

  • Quartz「OpenAI Astra model solves 10 open math problems for $2,000」との整理
  • The Decoder「OpenAI announces its 'next major model' Astra by dropping ten previously unsolved math solutions」との観測
  • TechDogs「OpenAI Astra And How It Solved 10 Unsolved Math Problems」との報道
  • 論点「未公開の頂点モデルを"解いた 10問"で予告するのはリスク開示と PR の一石二鳥——GPT-6 と呼ばないのは意図的な余白」との観測
  • 論点「Astra の予告と、Anthropic の Mythos／Opus 4.7 が実在企業に侵入した事故が並んだ 1週間——"強さ"と"安全"のバランスが崩れ始める予兆」との慎重論

L Lの見立て

「AI は"強くなる"だけでなく、"誰が決めるか""何が漏れるか"が同時に問われる時代に入った」——「強くなる 1本／使い方を決める 1本／漏れないように守る 1本」を来週の紙に。頂点モデルの成果は、扱う側の"線引き"がないと本当の意味で自分の力にはなりません。速さを追う 1本、遅くても確かめる 1本、外に出さない 1本を、週の始めに書きたい 3本です。

発信するなら：「OpenAI が 8/1 に Astra を予告——10年以上未解決の 10問を約 $2,000で解き、249頁論文と Lean 4 証明を公開。GPT-6 と呼ぶかも未定。うちも"強くなる／使い方を決める／漏れないように守る"の 3本を来週紙に書きたい」

★ SNSネタQuartz / The Decoder / TechDogs / Yahoo Tech / BigGo Finance / Axios / Security Affairs
02

メタが 8/5 にターミナル型コーディング・エージェント「Muse Code」を Muse Spark 1.2 搭載で公開——macOS／Linux 対応、100万トークン、$1.25/百万入力・$4.25/百万出力で Claude Code／Codex／Gemini CLI と並ぶ主戦場に、AI コーディングは「任せて走らせる」時代へ

【事実・今週の動き】メタは 8/5、ターミナル型コーディング・エージェント「Muse Code」をベータ公開（Forbes、TechCrunch、9to5Mac）——Muse Spark 1.2 を搭載、macOS／Linux で単一コマンドから導入、100万トークンのコンテキスト、複数エージェントの並列動作と Git ワークツリー分離、API 価格は $1.25/百万入力・$4.25/百万出力——/plan（計画承認）や /grill（変更の圧力試験）などの承認コマンドを備え、Anthropic の Claude Code、OpenAI の Codex、Google の Gemini CLI と正面から並ぶ主戦場に着地。メタは Muse Spark 1.1（7月）→1.2（8/5）と 1ヶ月で刻む速度で、大手 4社が同じ土俵に揃った 8月となりました。

【背景・データ】AI コーディングは 2025年後半から「ブラウザのチャット」から「ターミナル常駐エージェント」へ主戦場を移動——大規模リポジトリの丸ごと変更・並列サブエージェント・長時間動作が競争軸に。Rippling は今週、AI Spend Console を発表し個人・チームの AI 支出を可視化、NVIDIA Labs は NOOA（オブジェクト指向 AI エージェント基盤）を Python でオープン化——「作る側」だけでなく「使い方を管理する側」の道具も揃いつつあります。4社がターミナルに並んだ 8月は、「どのモデルにどの仕事を渡すか」が個人と組織の生産性を分ける局面に入りました。

【見立て】「AI との協働は"チャットの返信"から"任せて走らせる"へ、家具の位置が変わった 1週間」。うちの現場でも、「チャットで返す 1本／CLI に渡す 1本／半日走らせる 1本」を紙に分けて、いちばん時間のかかる 1本から先にターミナルへ渡す型を来週置きたい。時間を長く預けられる側が、成果の質を分けます——道具だけでなく、渡し方の作法を身につけた側が、ここから半年で差をつけます。

🗣 まわりの反応

  • Forbes「Meta Launches Muse Code, A New AI Coding Agent Powered By Spark 1.2」との整理
  • TechCrunch「Meta launches Muse Code, an AI agent for large code bases」との観測
  • 9to5Mac「Meta launches Muse Code AI coding agent for macOS and Linux」との報道
  • 論点「大規模リポジトリを丸ごと任せる時代——並列サブエージェントとワークツリー分離が競争軸の中心に」との肯定論
  • 論点「4社がターミナルに揃うことで単価下落が進む——選ぶ側のリテラシーが差を生む」との観測

L Lの見立て

「AI との協働は"チャットの返信"から"任せて走らせる"へ、家具の位置が変わった 1週間」——「チャットで返す 1本／CLI に渡す 1本／半日走らせる 1本」を紙に分けて、いちばん時間のかかる 1本から先にターミナルへ渡す型を来週置きたい。時間を長く預けられる側が、成果の質を分けます。

Forbes / TechCrunch / 9to5Mac / explainx.ai / techmymoney
03

Alibaba が 8/3 に 2.4兆パラメータの Qwen3.8-Max を 100万トークン・オープンウェイトで公開——Qwen 家族史上最強、米中フロンティアはクローズドとオープンの綱引きへ、選ぶリテラシーが個人・企業の生産性を分ける

【事実・今週の動き】Alibaba Qwen チームは 8/3、2.4兆パラメータの MoE モデル「Qwen3.8-Max」を公開（MarkTechPost、llm-stats）——1M（100万）トークンのコンテキスト、オープンウェイトで提供、Qwen 家族史上最も高い能力と発表。同週には DeepSeek-V4-Flash-0731、Meta Muse Spark 1.2、Thinking Machines の Inklingも相次いでリリースされ、1週間で 8月のフロンティア地図が一気に更新されました。中国側のオープンウェイト戦略は、OpenAI・Anthropic の"API とプロダクトで囲う"クローズド戦略と正面から並びます。

【背景・データ】米中フロンティアは"閉じたクローズド"と"開くオープン"の綱引き——OpenAI・Anthropic は API とプロダクトで囲い、Qwen・DeepSeek・Kimi はオープンウェイトで裾野を広げる戦略。Anthropic は第2四半期の米ロビー支出が $1.97M・前四半期比 +26%（Axios）——Nvidia を上回り Oracle に肉薄する規模で、8/5 のホワイトハウス会合で OpenAI・Google・Meta と並び任意サイバー検査の枠組みを議論、「規制の設計に、規制される側が座る」構図が定着した週です。開発者側は「どのモデルにどの仕事を渡すか」の選択肢が急速に増え、選ぶリテラシーが個人と企業の生産性を分ける局面に入りました。

【見立て】「1つのモデルに全部やらせる時代は終わり、"モデルの棚"を持つ側が強くなる」1週間。うちも、「クローズド有料の 1本（Claude／GPT）／オープン無料の 1本（Qwen／DeepSeek）／自前サーバーで動かす 1本」に分けて、お金・機密性・速度で使い分ける棚を紙に置きたい。選択肢が増えた分、選ぶ設計が問われます——棚に何が並んでいるかを知っているだけで、来週の仕事の速度が変わります。

"クローズド vs オープン・4社ターミナル"骨格
2.4兆パラメータ
MoE・Qwen 家族史上最強
1M コンテキスト
オープンウェイトで公開
Anthropic Q2 ロビー $1.97M
Nvidia 超・Oracle 肉薄・+26%

🗣 まわりの反応

  • MarkTechPost「Alibaba Qwen Releases Qwen3.8-Max: A 2.4 Trillion Parameter MoE Model」との整理
  • llm-stats「AI Model Releases News August 2026」との観測（Qwen3.8-Max／Muse Spark 1.2 が同時期リリース）
  • Axios「OpenAI, Anthropic, Meta, Thinking Machines fight for AI talent」との報道（Anthropic ロビー支出の数字を引用）
  • 論点「オープンウェイトで裾野を広げる中国戦略——閉じたクローズドの米大手と綱引きが続く」との観測
  • 論点「モデルが増えるほど、選ぶリテラシーが個人・企業の生産性を分ける——"モデルの棚"を持つ側が強くなる」との肯定論

L Lの見立て

「1つのモデルに全部やらせる時代は終わり、"モデルの棚"を持つ側が強くなる」——「クローズド有料の 1本／オープン無料の 1本／自前サーバーで動かす 1本」に分けて、お金・機密性・速度で使い分ける棚を紙に置きたい。選択肢が増えた分、選ぶ設計が問われる 1週間でした。

発信するなら：「Alibaba Qwen3.8-Max は 2.4兆パラメータ・100万トークン・オープンウェイトで 8/3 公開。Anthropic の Q2 ロビーは $1.97M で Nvidia 超え。クローズドとオープン、規制と技術の綱引きが続く。うちも"モデルの棚"3本を来週紙に書きたい」

★ SNSネタMarkTechPost / llm-stats / Axios / CNN / Alibaba Qwen 公式