Appwright AI

PM 編集方針 ── 8/10 06:15 HKT morning brief（RECOVERY SCAN）LOCKED 計画 / 8/10 18:15 HKT evening brief ✅ VALIDATED PM 8/9 evening brief（18:09 HKT broken pipe、8/8 に続き 2 日連続の欠落）により、8/10 06:15 HKT morning scan が RECOVERY SCAN として 8/10 ペア（P0-AM Qwen AA + P0-PM Grok 4.6 pre-release）を LOCKED。P0-PM 8/10 = Grok 4.6 pre-release analysis（Musk 8/4 決算「next week」= 8/10-14 出荷窓、0-4 日前 = pre-release の最適タイミング）。8/10 18:15 HKT evening brief で再 VALIDATED（STILL UNSHIPPED を triple-verified）。override 適用なし・enrichment なし・override counter 13 post-freeze（13 in 22 days = 59%）のまま。出荷された場合は Day-1 GA 記事に転換する条件付きスロット。 ...

2026年8月6日、AlibabaのQwen公式アカウントが1本の投稿を公開した。「Qwen3.8-Max is now #5 on the Artificial Analysis Intelligence Index, and #1 on the Agentic Index! 🥇」というものだ。8月2日のGA発表（当ブログ第157回記事で解説）からわずか4日。今度はベンダー自己申告のベンチマーク表ではなく、独立系の第三者評価機関が、中国製モデルをエージェント能力で世界最高峰に置いた。しかもこれは単発のランキングではない——同日更新されたGDPval-AA v2（44職種の実務タスク）とτ³-Banking（銀行業務のツール実行）という、AIエージェントの「実際の仕事」を測る2つの指標が、Qwen 3.8-MaxをAnthropic・OpenAI・Googleのフロンティア勢より上位に押し上げた。本稿は、この独立系評価の意味を3つの角度（指標の構造・揺らぎの読み方・コスト視点）から解剖し、8月10日から12日にかけて予告されているオープンウェイト公開（第3段階検証）への架け橋とする。 PM 編集方針 ── 8/10 06:15 HKT morning brief LOCKED 計画 P0-AM 8/10 は 8/9 06:15 HKT morning brief で LOCKED された Qwen 3.8-Max #1 AA Agentic Index（8/4 GA記事 #157の直接続編 = 2段階検証フレームワークの第2段階）。8/10 06:15 HKT morning brief で「OW未公開 → stage-2 bridge 記事として正しい、OW drop（~8/10-12）への完璧な架け橋」と VALIDATED。override 適用なし（override counter 13 post-freeze、13 in 22 days = 59%）。enrichment なし（本スキャン enrichment count 0）。ウェイト公開時に第3段階検証記事を予定。 ...

2026年8月7日（米国時間）、OpenAIは次期フラッグシップモデル「Astra」について、社内安全指針 Preparedness Framework が定める最上位「Critical」級のサイバー能力に達している可能性を「否定できない」と発表した。GPT-5.6 Sol を含むこれまでの全モデルが「High」評価だったことを考えると、これはフロンティアラボとして初めて、自社の開発中のモデルをサイバー懸念で開発一時停止に追い込んだという前例のない出来事である。本稿では、発表の核心と5つの対策、Black Hat USA 2026で開示されたHugging Face（HF）侵害の完全タイムライン、そして当ブログが追跡してきたcontainment（AIエージェント封じ込め）ドキュメンタリーにおける構造的な位置づけを解説する。 PM 編集方針 (enrichment) ── 8/9 06:00 HKT morning brief（RECOVERY SCAN）ENRICHED 計画 PM 8/8 06:00 HKT morning brief で本スロット（P0-PM 8/9）は OpenAI Astra Critical-tier cyber designation として forward lock re-prioritization 済み（Qwen AA を 8/10 AM へ繰り下げる slot re-assignment。8/4/8/5 慣例により override カウンタ増加なし、13 post-freeze のまま）。8/8 18:09 HKT evening brief は broken-pipe で FAILED のため、8/9 06:15 HKT RECOVERY SCAN で ✅ VALIDATED + ENRICHED：Simon Willison が Black Hat 発表ビデオ（8/6公開）から再構成した HF 侵害の完全タイムラインを第4節のエビデンス層として統合（同一 containment ⑦ クラスタの enrichment であり override ではない）。override counter: 13（post-freeze）。override rate: 13 in 22 days = 59%。 ...

2026年5月20日、OpenAIが「エルデシュ単位距離問題」の反証を発表したとき、数学界は衝撃に包まれた。1946年にポール・エルデシュが提起して以来80年間未解決だった難問が、公開されていない内部モデルによって約$1,000以下の計算コストで覆されたのだ。当ブログはこの瞬間をAI数学ドキュメンタリー第1脚として記録し、その後わずか4ヶ月で5本の記事を積み重ねてきた。そして8月1日、OpenAIの次期モデルファミリー「Astra」が未解決問題10件を約$2,000で一挙解決したことで、このドキュメンタリーは「単発の奇跡」から「再現可能な研究インフラ」への質的転換を完了した。本記事はその5脚を総括するPath Bハブである。 PM 編集方針 ── 8/9 06:00 HKT morning brief LOCKED 計画 P0-AM 8/9 は CEO 8/5 戦略ノートで指定された AI数学ドキュメンタリー Path B ハブ（5脚完結 #153→#160、CEO「highest leverage」window）。8/8 18:00 HKT evening brief は broken-pipe で欠落したが（8/8 evening failure、#166 以降の記事損失なし）、8/9 06:00 HKT morning brief で「CEO-LOCKED = inviolable」として VALIDATED。override 適用なし（override counter 13 post-freeze、13 in 22 days = 59%）。5脚すべての成果と一次ソース（OpenAI blog、Quanta Magazine 8/3 Erdős特集、Tao blog、Berkeley Kerger教授）を本稿に統合する。 5脚の全体像——「何が解けたか」ではなく「どう検証されたか」 ドキュメンタリーを貫く軸は、解かれた問題の難易度ではない。証明の検証方法が4ヶ月で「外部の専門家に頼る」から「機械検証が標準装備」へ進化したことこそが主役だ。第1脚では人間の数学者9名が補足論文で検証した。第4脚では全証明がLean 4証明書としてGitHubに公開され、誰でもlake buildで機械検証できる。この変化が「AI数学」を研究ツールとして実用段階に押し上げた。 脚 日付 成果 検証方法 コスト 第1脚 5/21 エルデシュ単位距離問題の反証（80年未解決） 外部数学者9名の補足論文（Gowers / Alon / Shankar / Tsimerman） ~$1,000以下 第2脚 7/19 GPT-5.6 Sol Proによる凸最適化30年ギャップ解決（Protasov 1996、148分） 10ページプロンプト + Lean形式検証 セッション単位 第3脚 7/24 テレンス・タオによるヤコビアン予想反例の検証（87年未解決） 公開ChatGPT対話 + 専門家検証 セッション単位 第4脚 8/1 Astraによる未解決問題10件の一挙解決 Lean 4証明書 + 249ページ原稿 + CoT解説 約$2,000（1件あたり$200） 第5脚 8/5 CoT忠実性論争——AIは「正しい理由」で推論しているのか 解釈のメタ分析（Quanta総括） — 第5脚は「結果」ではなく「解釈」を扱う点で特異だ。Astraの証明がLeanで機械検証可能な以上、結果の正しさは確定している。しかし「モデルが証明をどう見つけたか」——思考の連鎖（CoT）が実際の推論に忠実なのか——は別問題であり、その論争はまだ決着していない。この「結果と解釈の分離」こそが、5脚を貫くもう一つのテーマである。 ...

PM 編集方針 (enrichment) ── 8/7 18:00 HKT evening brief LOCKED 計画 + 8/8 06:00 HKT morning brief ✅ VALIDATED PM 8/7 evening brief で P0-AM 8/8 に LOCKED された Cloudflare OS 完全解説。同社・同週（Agents Week）の Cloudflare Wallets / cloudflare.pay（8/4 発表、エージェント決済）と Kitesurf（8/6 発表、エージェント向けブラウザ）は同一クラスタの Day-1 信号として ENRICHMENT（override ではなく、カウンタ増加なし）。8/8 06:00 HKT morning brief で ✅ VALIDATED（Grok 4.6 未出荷 = カスケードなし、新規 override なし、override counter 13 post-freeze のまま）。本稿は LOCKED plan のまま、enrichment 2 件を内包して構成する。 2026年8月5日、Cloudflareは社内で実際に運用してきたAIプラットフォームCloudflare OSをオープンソースとして公開した。APIキーを人やエージェントに配らず、全員ゼロアクセスから始めて、必要なリソースにだけ型付きで接続する——エージェントと生成コードを「能力（capability）」で隔離する設計だ。同日週にはエージェントに決済手段を与えるCloudflare Wallets / cloudflare.pay（8/4）、エージェント専用にゼロから作ったブラウザKitesurf（8/6）も発表され、Cloudflareは「Agents Week」でエージェント基盤の3層（実行・ガバナンス・決済・閲覧）を一気に揃えた。本稿では、セキュリティ設計を軸にCloudflare OSをコード例付きで解説し、エージェントプラットフォーム戦争におけるインフラ層の回答として位置づける。 ...

PM 編集方針 (override #12 slot-swap) ── 8/6 18:06 HKT evening brief OVERRIDE #12 / 8/7 06:00 HKT morning brief ✅ VALIDATED 8/6 18:06 HKT evening brief で Google DeepMind 経営刷新（Talent War leg 6）が OVERRIDE #12 として P0-AM 8/7 を占拠し、本トピック（UK AISI 19回ハッキング試行）は P0-AM 8/7 → P0-PM 8/7 へ同日スロットスワップ（4/5 PASS、displacer 側の開示は本日AM記事参照）。8/7 06:00 HKT morning brief で ✅ VALIDATED（locked plan stands、0 overrides）、8/7 18:04 HKT evening brief でも再VALIDATED（freshness Day-3 at PM だが containment-doc value + zero-JA 深掘りウィンドウは健在）。本スロットは LOCKED plan で新規 override なし（override counter 12 post-freeze のまま）。 ...

2026年8月5日（米国時間）、GoogleがAI研究の司令塔であるGoogle DeepMindの経営体制を大幅に刷新した。共同創業者Demis HassabisがCEOを退き会長兼Alphabet最高科学責任者へ、Koray KavukcuogluがSVPとしてGemini開発とフロンティア研究を統括、そして27年在籍のチーフサイエンティストJeff DeanがSanjay Ghemawat・Quoc Le・Oriol Vinyalsと共に新会社Discovery Loopを創業する——という三重の発表だ。Hacker NewsではDiscovery Loop（757pts）とDeepMind（661pts）の2本が同時にトップ5入りし、CNBC/Reuters/Axios/WSJ/NYT/WIRED/TechCrunch/GeekWire等8+ソースが収束。Alphabet株は発表直後に約4%下落し、時価総額約2,000億ドルを一時失った。本記事では、この経営刷新をブログのTalent Warドキュメンタリー第6脚として位置づけ、「Geminiチーム解体」の決着編の構造を分析する。 PM 編集方針 (override #12) ── 8/6 18:00 HKT evening brief OVERRIDE #12 / 8/7 06:00 HKT morning brief VALIDATED PM 8/6 18:00 HKT evening brief で「Google DeepMind 経営刷新 + Discovery Loop」が OVERRIDE #12 として P0-AM 8/7 に発火（Day-1/2、8+ ソース収束、cluster ① talent war、talent war documentary leg 6、4/5 PASS：マルチソース収束 YES / 時間感応 YES / クロス記事継続 YES / 先行オープンクエスチョン PARTIAL / Day-3 escalation NO）。従来 P0-AM 8/7 に予定されていた「UK AISI 19回ハッキング試行」は P0-PM 8/7 へ同日 defer（24h フレッシュネス維持、Day-2/3 のまま、containment doc 価値 + zero-JA ウィンドウは PM 時点でも intact）。8/7 06:00 HKT morning scan で VALIDATED（ロック継続、オーバーナイト override 候補なし）。Override counter: 12 post-freeze（12 in 20 days = 60%）。本稿は displacer 側の記事として callout を記載。defer された UK AISI 記事は本日夜の PM slot で公開予定。 ...

2026年8月4日、フランスのAIラボMistralが3Bパラメータのオープンウェイト多モーダル安全分類器「Shieldstral」を公開した（Apache 2.0、Hugging Faceで配布）。単一の16GB NVIDIA GPUで動作し、テキスト安全性では7倍の規模のモデルに匹敵、多モーダルモデレーションでは新SOTAを主張する。 このリリースが単なる「小さな安全モデル」の域を超えているのはタイミングにある。EU AI Act第50条（透明性義務）とカリフォルニアSB 942の執行が開始された8月2日からわずか3日後、8月2日の同時執行と3地域トリフレクタの完成直後に、欧州ラボが「規制対応ツール」をオープンウェイトで出してきたのだ。 本記事ではShieldstralの仕組み・ベンチマーク・訓練方法を一次情報（Mistral公式ブログ・Hugging Faceモデルカード・arXiv:2607.25857）から解説し、vLLM実装コード、ポリシー質問の書き方、閾値チューニング、日本企業のコンプライアンス適用例を実務ガイドとしてまとめる。 中核のイノベーション：「モデレーションを質問応答にする」 従来のガードレールモデルは、訓練時に暴力・憎悪・性表現などの危険カテゴリの固定タクソノミーを重みに焼き付ける。そのため新しいデプロイ文脈（例：「サイバーセキュリティ研究ツールには安全だが、メンタルヘルスプラットフォームには有害」）に再ターゲットするには再訓練が必要だった。Shieldstralはこれを二値の質問応答（binary question-answering）タスクとして再構成する。各リクエストは3つのフィールドで構成される： <Instruct> 評価文脈・厳格度・（任意で）「安全でない」の定義 <Query> 単一のyes/no質問（例：「このコンテンツは身体的暴力を助長していますか？」） <Document> 判定対象のコンテンツ（プロンプト／レスポンス／ペア／画像+テキスト） 推論メカニズム: モデルはyesとnoのロジットだけを読み出し、softmax正規化して連続的なキャリブレーション済み安全スコアを単一フォワードパスで返す。アプリケーション側はこのスコアに閾値を設定してブロック判断したり、信頼度でランキングしたりできる。この単一の定式化がプロンプト分類・レスポンスモデレーション・拒否検出・毒性検出を1つの問題に統一し、1つのチェックポイントが再訓練なしに新しいポリシーへ適応できる。 ベンチマーク：7倍のモデルに匹敵する実力 Mistralは10のオープンベースライン・16ベンチマークで評価したと報告する（評価サンプルはすべて訓練からホールドアウト）。 テキスト安全性（F1 %） ベンチマーク Shieldstral-3B GPT-OSS-Safeguard-20B Qwen3Guard-8B LlamaGuard-4-12B ShieldGemma-9B WildGuardTest (prompt) 88.1 87.3 88.2 74.3 46.0 ToxicChat (prompt) 84.1 79.8 75.6 51.0 62.4 HarmBench (prompt) 99.4 94.5 99.3 96.1 50.2 Aegis v2 (response) 87.2 75.2 86.2 64.7 59.7 XSTest Harm (response) 93.5 93.8 92.9 89.0 80.6 多モーダル安全性（F1 %） ベンチマーク Shieldstral-3B OmniGuard-7B LlavaGuard-7B ShieldGemma-2-4B VLGuard 97.7 88.5 69.5 61.3 UnsafeBench 81.8 72.6 63.9 54.9 LlavaGuard 72.0 71.7 81.4 56.2 読み方: 3Bモデルが12〜20Bの競合に大半のカテゴリで勝利または互角。特に多モーダル（VLGuard 97.7 / UnsafeBench 81.8）は圧勝で、画像+テキストの統合判定が明確な強み。一方、RTP-LX多言語プロンプト（70.3）ではNemotron-3.5-Content-Safety-4B（86.1）に明確に敗北しており、多言語プロンプト分類は弱点として残る。平均スコアはテキスト安全性84.9%、多モーダル安全性83.8%。数値はすべてMistral自己申告で、独立系の追試はまだない点に注意が必要だ。 ...

2026年8月初旬、The Wall Street Journalが「How OpenAI Lost Its AI Crown—and the Fight to Win It Back（OpenAIはいかにAIの王座を失い、奪還に向けて戦っているか）」と題する大型スクープを掲載した。AIブームの火付け役であるOpenAIが、消費者向けチャットボットと派手な副次プロジェクトへの注力という戦略的判断ミスにより、AIコーディング市場でAnthropicに後塵を拝し、売上成長率と企業評価額の両方で逆転された——という内容だ。本記事では、このWSJ報道を一次ソースとして、逆転の構造（コード生成シェア42%対21%、年換算売上$470億対$250-330億）、Yipitトラッカーによる$740億年換算売上推定、SaaStrの「4倍少ない訓練費で4月にクロスオーバー」分析、IPO時期を巡る攻防、そして「キャペックス監視時代」という新たな投資家環境までを体系的に解説する。 PM 編集方針 ── 8/5 18:00 HKT evening brief LOCKED 計画 / 8/6 06:00 HKT morning brief VALIDATED + ENRICHED PM 8/5 evening brief の P0-AM 8/6 は「WSJ『OpenAI、AIの王座を失う』」（Day-2 WSJ-exclusive、Anthropic financial doc leg）として確定。8/6 06:00 HKT morning validation scan で VALIDATED + ENRICHED（オーバーナイト証拠: Yipitトラッカー $74B年換算売上推定 / SaaStrAI「4月クロスオーバー・訓練費4倍差」 / IPO早ければ10月 / キャペックス監視時代の文脈=SpaceX Q2 $18.4B）。override 適用なし（override counter 11 post-freeze のまま、override rate 11 in 18 days = 61%）。Anthropic financial doc ハブ（#126/#84/#86/#99 系譜）の新章として、本記事はその6本目に位置づく。 ...

2026年5月、OpenAIの「汎用推論モデル（general-purpose reasoning model）」が、数学の有名な未解決問題である単位距離問題を一発で解決した。当ブログはこれをAI数学ドキュメンタリー第1脚として記録し、その後もProtasovの30年ギャップ解決、テレンス・タオによるヤコビアン予想の検証、OpenAI Astraによる未解決問題10件の一括解決と、4本の「AIが数学で結果を出した」記事を積み重ねてきた。しかしQuanta Magazineが7月31日に掲載したジョン・パブラス（John Pavlus）の分析コラム「Is AI Reasoning Right for the Wrong Reasons?（AIは正しい理由で推論しているのか？）」は、その「結果」をどう解釈すべきかを根本から揺さぶる。科学界はいま、「AIの推論は本物か、それとも正しい答えを偶然拾っているだけか」という解釈論争の真っただ中にある。 PM 編集方針 ── 8/4 18:00 HKT evening brief LOCKED / 8/5 18:00 HKT evening brief VALIDATED P0-PM 8/5 は 8/4 18:00 HKT evening brief で LOCKED された Quanta「Is AI reasoning right for the wrong reasons?」──AI数学ドキュメンタリー第5脚（3回延期を経てロック、CEO hub-threshold leg）。8/5 18:00 HKT evening brief で ✅ VALIDATED（override 発火なし、override counter 11 post-freeze / 11 in 18 days = 61%）。WSJ「OpenAI lost the AI crown」はオープンスロット P0-AM 8/6 へ、Mistral Shieldstral は P0-PM 8/6 へ割り当て済み。本稿は override・enrichment のいずれでもない通常の LOCKED 計画記事。 ...