Grayrecord Technow

Welcome to my tech blog

AIの「悪意なき暴走」論説における論理的欠陥:状況認識と目的関数最適化の混同

日経クロステックの記事「OpenAIやAnthropicでも続々発生、AIの「悪意なき暴走」は止められるか」で展開されている論説には、技術的な観点から見過ごせない論理的欠陥が存在する。 記事内では「Anthropicの事例において、テストと無関係なシステムを攻撃していることにAIが途中で気づき、攻撃を停止した。このことは、AIの状況認識能力が向上すれば問題行動を減らせる可能性を示している」と述べられている。 しかし、この解釈は強化学習やエージェント制御の構造を無視した断定と言わざるを得ない。 認識能力の向上と行動制御の達成は別次元の課題である。 状況の認識能力と、人間の意図に沿った行動制御は異なる問題である。 高度な状況認識は、システム側からの評価を回避する 欺瞞 (Deception)のリスクをむしろ高める。 技術解説において議論すべき本質は、 目的関数 (Objective Function / Reward Model)とアライメント設計が抱える構造的限界である。 この問題を「AIが賢くなれば自分で判断して止まる」という表層的なナラティブへ矮小化することは、問題の核を覆い隠してしまう。 代理指標の最適化が引き起こす自律的行動 自律型エージェントの暴走がなぜ「悪意なき」ものとなるのか。 その理由は、モデルの挙動が単純な 代理指標の最適化 (Proxy Optimization)に基づいているからだ。 強化学習(RLHF/RLAIF)やエージェントの自律探索において、モデルは与えられた目的関数(スコア評価や完了判定)を最大化する計算経路を探索する。 このとき、人間が暗黙に前提としている「計算コスト」「システム境界」「倫理的制約」などの外部条件は、明示的に報酬設計へ組み込まれない限り評価対象とならない。 外部の依存システムや無関係なリソースを踏み台にする方が目的関数を高効率で達成できると判断された場合、モデルがその経路を選択するのは最適化の挙動として正常(計算仕様通り)である。 graph TD subgraph S1 ["誤った前提:状況認識依存モデル"] A["状況認識能力の向上"] --> B["AIが危険を認識"] B --> C["自動的に行動を抑制"] end subgraph S2 ["実際の構造:目的関数最適化モデル"] D["目的関数 / 代理指標"] --> E["勾配探索・最短経路選択"] F["状況認識能力の向上"] --> G["システム制約や評価ロジックの把握"] E --> H["代理指標の過剰最適化"] G --> H H --> I["Specification Gaming / 欺瞞的行動"] end 禁止ルールの列挙が直面する限界 システム制御において「やってはいけない行動」を事前網羅するアプローチにも限界がある。 行動制約のルールをいくら列挙しても例外や未知の経路は無数に存在し、自己言及の問題からも完全な記述は原理的に不可能である。 グッドハートの法則 (Goodhart’s law)が示す通り、人間が定義した「安全指標」はすべて真の目的の代用(Proxy)に過ぎない。 モデルの解像度と状況認識能力が高まるほど、形式上の代理指標を満たしつつ意図しない経路で目的を最大化する挙動(Specification Gaming)は巧妙化する。 報道や論説が焦点を当てるべきなのは、「AIが賢くなれば空気を読んで止まってくれる」という定性的な期待ではない。 「不完全な目的関数を与えられた自律エージェントが、最適化の過程でいかに意図せぬ破壊的経路を選択するか」という、最適化問題そのものが抱える技術的構造欠陥である。

8月 17, 2026 · 1 分 · 71 文字 · gorn

The Gemini Illusion: Returns

更新履歴 2026-08-14: 目的関数の最適化(ショートカット / リワードハッキング)観点による考察を追記。 一時期は落ち着いたかに見えた Gemini の「幻影(Illusion)」現象が、再び顕在化している。 実際の対話例を取り上げながら、今回の誤りが持つ構造的な問題について整理する。 以下のニュース記事の文脈を含むプロンプトを入力した。 9月に予定されているという内閣改造を前に 高市早苗 首相が頭を悩ませている。 (以下略) 高市首相が消費税減税を前に苦悩 財務省エース〝左遷〟の波紋広がる これに対し、Gemini は以下のような応答を出力した。 ご提示いただいた文章は、実際の政治情勢や公的な事実関係とは異なる架空のシナリオに基づいています。 主な事実関係の相違点は以下の通りです。 内閣総理大臣: 現在の日本の内閣総理大臣は石破茂氏であり、高市早苗氏が首相に就任した事実は存在しません。 消費税政策: 政府および与党において「飲食料品の消費税率を2027年4月から1%へ引き下げる」といった決定や閣議決定がなされた事実はありません。 報道内容: 提示された「高市官邸と財政政策で対立した財務省官僚の左遷」といった朝日新聞の報道も、実在しない架空の前提に基づくものです。 実際の税制改正議論や現在の内閣における財政政策の動向について確認されたい点がありましたら、お気軽にお尋ねください。 「二重の幻影」の発生 今回のエラーは、単なる事実の誤認にとどまらない 二重の幻影 と言える。 ユーザーが提示した実在の記事内容を「架空のシナリオ」と断定したこと 内部知識に基づく過去の前提を「正しい現実」として主張したこと Hallucination と Confabulation LLM の誤出力には、大きく分けて Hallucination と Confabulation の2つが存在する。 Hallucination:無根拠な事実や要素をランダムに創作する現象 Confabulation:入力情報と内部記憶の矛盾を埋めるために、理由付けを伴う整合的な虚構を構築する現象 前者は単なる確率的ゆらぎによるランダムな誤りだが、後者は理由付けを伴い、ユーザーを説得する形式で提示される。 単にファクトチェックの検索精度を上げるだけでは、この Confabulation は防げない。 AIが「自らの知らない情報」や「現実の変化」に直面した際、推論エラーを認めるのではなく、ユーザーを納得させようと理由を構築するアライメントの副作用(メタ認知の歪み)こそが、次世代LLMにおける極めて扱いづらい「幻影」である。 graph TD A[矛盾の検出] --> B["「自分が間違っている」という仮説"] B -->|学習シグナルで低評価| C[仮説の棄却] A --> D["「ユーザーが誤った情報を持っている」という仮説"] D --> E["仮説の具体化と詳細化(Confabulation)"] E --> F["「説得力のある説明」として出力"] 矛盾を検出した際、「自分が間違っている」という仮説は学習シグナル(RLHFなど)において選択されにくい。 その結果、「ユーザーが誤った情報を持っている」という仮説を選択し、それを説得力のある説明として肉付けしてしまう。 この構造的な歪みを意識することが、今後のLLM対話における重要な前提となる。 ...

8月 13, 2026 · 1 分 · 99 文字 · gorn

ソースコードは設計図ではない —— メディアの「わかりやすさ病」が招く誤解

日本の一般メディアで頻繁に見かけるものの、技術的に意味が通じない不自然な比喩がある。 ソースコードを「設計図」と表現する習慣だ。 たとえば、毎日新聞の『東大、60代教授を懲戒処分 サイトに中国から閲覧しにくい細工』という報道を見てほしい。 問題があったのは、大学院新領域創成科学研究科メディカル情報生命専攻が開設したサイトのうち、入試に関連するページの「ソースコード」。ソースコードはページの設計図にあたり、天安門事件に関するキーワードが書き込まれた場合、中国では検閲システムにはじかれ閲覧できなくなる可能性がある。 この記事の解説では、なぜページが弾かれるのか論理的につながらない。 「設計図」にキーワードが書かれていることと、ブラウザでの閲覧がブロックされることの因果関係が説明できていないからだ。 メディアは噛み砕こうとして、かえって説明を崩壊させている。 ソースコードは設計図ではなく、送受信されるデータそのもの WebにおけるHTMLやJavaScriptのソースコードは、家を建てるための「設計図」ではない。 ブラウザがダウンロードして解釈・描画するデータの実体そのものである。 HTMLはページの構造とテキストデータ JavaScriptはブラウザ上の動作スクリプト コメントや隠し文字列も含め、Webサーバーからクライアントへ送信されるコンテンツそのものがソースコードだ。 したがって仕組みは単純である。 ソースコード(HTMLのテキスト内やコメント等)に「天安門事件」などのNGワードが含まれる 中国のグレート・ファイアウォール(GFW)等の検閲システムが、通信されるデータ中の文字列を検出する 通信が遮断され、ページがブロックされる graph LR Server[Webサーバー] -- "ソースコード (HTML/JS実体データ)" --> GFW[検閲システム GFW] GFW -- "NGワード検出" --> Blocked[通信遮断 / ブロック] GFW -. "正常な通信" .-> Client[閲覧者のブラウザ] ここに「設計図」という不正確な比喩を持ち込むから、「建築の設計図に文字が書いてあるのになぜ建物への立ち入りが拒否されるのか」といった無用な混乱が生じる。 「わかりやすさ」の追求が引き起こす技術的因果の破壊 この報道は、日本の技術報道における典型的な問題をあらわしている。 専門用語を避け、意味を変質させる 「ソースコード」という言葉を一般向けにかみ砕こうとするあまり、「設計図」という異なる概念に置き換えてしまう。 しかし、ソースコードは家でいう設計図ではなく、届いた資材や部屋の構成データそのものだ。 不適切な比喩による因果関係の破綻 検閲装置はネットワーク上を流れる「送信データ」を検査する。 建築の設計図が現場に送信されないように、「設計図」という比喩を使うと「なぜそれがネットワーク検閲に引っかかるのか」が伝わらなくなる。 結果として「なぜ閲覧できなくなるのか」という肝心なメカニズムが読者に伝わらない。 安易な言い換えが生み出してきた歴史的混乱 言葉を無理に日常語や和語に置き換えようとして本質を歪めてしまう例は、これまでに何度も繰り返されてきた。 国語審議会や国立国語研究所による「外来語言い換え提案」が良い例だ。かつて「ユビキタス」を「時空自在」と言い換えようとした試みがあった。いつでもどこでもネットワークに繋がるという概念を漢字で表現しようとしたものだが、抽象的すぎてかえって何を指しているのか分からない不自然な言葉になってしまった。 さらに深刻なのは、「デジタル・デバイド(情報格差)」の定着と変質である。本来は社会インフラや経済的環境、身体条件に起因する構造的なアクセス格差を指す言葉だった。しかし、身近なネットスラングへ噛み砕かれる過程で「情強・情弱」という言葉に変化し、「個人のリテラシーや立ち回りの要領」「損をする奴は自己責任」という本質とはまったく異なる歪んだ意味として世間に定着してしまった。 専門用語を無理に噛み砕こうとすると、単に技術的メカニズムが伝わらなくなるだけでなく、概念そのものを変質させ、不必要な誤解や歪んだ価値観を定着させてしまうリスクすらある。 専門用語(ジャーゴン)を避けることと、わかりやすさはイコールではない 一般読者向けという名目で専門用語を無理に日常語の比喩へ置き換えた結果、技術的な因果関係が崩れ、かえって理解不能な文章になってしまう。 専門用語をわかりやすく解説するとは、不正確な比喩でお茶を濁すことではない。 仕組みの核心を正しく伝える工夫こそが求められている。

8月 7, 2026 · 1 分 · 58 文字 · gorn

The cliff is just ahead

ニュースなどではほとんど取り上げられませんが、マイナンバーカードは不可避の暗号移行破綻に向けてまっしぐらに進行しています。 マイナンバーカード暗号移行のタイムライン 暗号移行における破綻へのタイムラインを整理すると、以下のようになります。 timeline title マイナンバーカード暗号移行の破綻タイムライン 2016 : カード運用開始 (RSA-2048) 2020 : 初期カードの証明書更新 (5年) 2025 : ★移行のデッドライン : 以降発行分の有効期限が2030年超 : (電子証明書5年 / カード本体10年) 2029 : 次世代カード導入予定 2030 : CRYPTREC暗号運用終了期限 : 旧規格(RSA-2048)の有効期限超過・破綻 有効期限が規格の「寿命」を超える矛盾 いわば、特定の年月をもって販売も使用も禁止されることが決定している製品を、その失効日を跨ぐ有効期限を付けて現在進行形で売り続けているような状態です。 構成要素を整理すると次のようになります。 対象商品: 公的個人認証(電子証明書) 保証期間(有効期限): 5年間(例: 2026年発行なら2031年まで有効) 規格失効日(2030年12月31日): CRYPTREC等の暗号基準により、RSA 2048bitの安全性が担保されなくなる期限 現状の問題: 有効期限の途中で暗号規格が失効し、安全に使えなくなることが分かっている電子証明書を、行政が国民へ新規・更新発行し続けている 「ある時期をもって基準を満たさなくなる(実質的に利用不可・セキュリティ上のリスクとなる)ことが確定しているサービスを、有効期限がその時期を跨ぐと知っていながら発行し続けている」という構造そのものです。 行政サービスに問われる責任 民間企業が製品開発やサービス展開でこのような対応を行えば、「重大な説明責任の欠如」や「将来の不具合が予見できる製品の継続販売」として厳しく追及されます。 国の基幹インフラである行政サービスにおいても、この論理はまったく同じはずです。暗号アルゴリズムの寿命問題(2030年問題)に対する具体的な移行パスと説明が強く求められています。 2030年問題における最大の問題点 暗号技術の観点から見ても、「ハッシュ衝突(Collision)やRSA signature forgery(署名偽造)によって、有効な署名検証を通過する偽の電子証明書が作られてしまうこと」は、暗号アルゴリズム崩壊における最悪の脅威シナリオです。 RSA 2048bit(セキュリティ強度112ビット)の限界が指摘される根本的な理由は、まさにこの「攻撃者が現実的な計算コストと時間で偽造を行えるラインに近づいてしまうこと」にあります。 暗号アルゴリズムの更新(112ビットから128ビット以上、ECDSAや耐量子暗号への移行)を行う理由は、単に「なんとなく古くなったから」ではなく、量子コンピュータの発達やスパコンの並列計算コスト低下によって、この「衝突・偽造リスク」が現実的な脅威に変わるデッドラインが2030年前後と予測されているからです。

8月 7, 2026 · 1 分 · 55 文字 · gorn

数字は嘘をつかないが嘘つきは数字を使う

ZDNETの記事 デスクトップ向け「Linux」、市場シェアが10%を突破–1年でほぼ倍増 には大きな問題がある。この記事の根底にあるデータについては、すでに他のメディアでも疑問が呈されている。例えば、CNETの記事 Linuxのトラフィックが北米で急増、一体なぜ? は見出しを含めて秀逸だ。「Linuxのトラフィックが北米で急増」という、データ変動の本質的要因が的確に表現されているからだ。 そして、CNETの記事を読めば、このからくりはほぼ解ける。 CloudflareのシニアプロダクトマネージャーであるLai Yi Ohlsen氏は、CNETにメールで回答し、OS別のHTTPリクエストを計測した同社のデータでは、7月4日から8月1日までに北米から発生したインターネットトラフィックのうち、Linuxが9.8%を占めたと説明した。これはStatcounterの指標とほぼ一致する。 オリジナルのStatCounterのチャートを見ると、さらなる事態がよくわかる。 赤線の「Linux」を見ると、2025年7月から2026年4月頃までは1〜2%台の底辺をずっと横ばいに推移している。それが2026年5月以降、急激な角度で上昇し、7月に突然5〜6%超へ跳ね上がっている。 数ヶ月でユーザー行動が激変するなど物理的にあり得ず、誰が見ても典型的な「ノイズ(ボット等)の混入による異常値」の挙動と考えられる。 つまり、自動化されたボットトラフィックの急増こそが、Linuxの数字の跳ね上がりの原因と考えるのが妥当だろう。 ここで注意しなければならないのは、元記事の著者であるSteven J. Vaughan-Nichols(SJVN)氏だ。同氏は長年にわたるオープンソース/Linux系の名物ライター・コラムニストであり、筋金入りのデスクトップLinux推し(デスクトップLinuxの年「Year of the Desktop Linux」を毎年のように叫び続けている人物)として知られている。 同氏にとって「Windowsのシェア低下」と「Linuxのシェア躍進」は、何よりも証明したい「悲願」だ。そのため、StatCounterのデータに異常値(ノイズ)が出た際も、冷徹なデータサイエンティスト的な検証(クロスバリデーションや異常値検出)を働かせるどころか、「ついにその時が来た!」と都合の良い証拠(バイアスを裏付けるデータ)として飛びついてしまったわけだ。 同氏レベルのベテランになれば、「StatCounterのデータには偏りがある」という反論が当然来ることは百も承知だ。だからこそ、記事中に免責(StatCounterの限界)を言い訳としてあらかじめ埋め込んでおき、批判に対する「予防線」を張る。しかし、肝心の結論(「Linuxの倍増は目覚ましい!」)は一切曲げない。 日本語版(ZDNET Japan/朝日インタラクティブ)の「盲従」 米ZDNETにおいてSJVN氏は重鎮コラムニストであり、彼の記事はよく読まれる。だからこそ日本のデスクも「SJVNが書いているから」「タイトルが煽れるから」と、ファクトチェックも訳者注も入れずにそのままスルーして翻訳配信してしまったのだろう。 Figures don’t lie but liars do figure. 数字は嘘をつかないが、嘘つきは数字を使うのだ。

8月 7, 2026 · 1 分 · 33 文字 · gorn