0922 | 週刊テックダイジェスト：macOSの「クライピファication」から意図的なインターネットまで

葵: こんにちは、葵です。

悠真: 悠真です。今日も24時間以内に話題になった Hacker News の投稿をディスカッション中心に掘り下げていきます。

葵: 今日の流れはざっくり言うと、「自分のマシンは誰のもの？」という問いを軸に動いていく感じです。Macに常駐するAIプロセスの話から始まって、逆にMacをローカルAIマシンとして活かす話、モデルの動向、数学とAIの関わり、セキュリティ、インフラ、開発ツール、レトロコンピューティング、最後は「意図的なインターネット」で締めます。

悠真: それでは最初の話題から。macOS 27とApple Intelligenceの常駐問題です。Apple自身が、MacでApple Intelligenceを無効化したり制限したりする方法をドキュメントにしたんですけど、そこに落とし穴があって。

葵: そう、ローカルモデルをオフにしても、実際にモデルが削除されるわけじゃないんです。ディスク上にはだいたい8〜16GBぶんのモデルが残ったまま。つまり「オフ」は設定上の話で、ストレージは解放されない。

悠真: これに対してワークアラウンドも出ています。macOS 27で、AIモデルのダウンロード自体を回避する方法が見つかって、ストレージを節約できる。ただ、ユーザーの反応は「結局、そういう裏技を自分で探さなきゃいけないのか」という不満が強いですね。

葵: しかもさらに深刻な報告があって。macOS 27では、「Siri AI.app」というプロセスが、SiriとApple Intelligenceのすべての設定とサービスを切っても、動き続けていると。つまり、明示的に全部オフにしても、OSの内部ではAIのプロセスが生きている。

悠真: この話のディスカッションで何が白熱したかというと、「これは問題なのか、気にしすぎなのか」の対立です。一つは明確に問題視する立場。所有しているハードウェアの制御権が曖昧になっている、と。自分のマシンのCPU時間とメモリを、自分がオフにしたはずの機能が使い続けているのは、本来ユーザーが決めることだ、と。

葵: もう一方は実害の観点です。「プロセスがアイドルで待機してるだけなら実質害はないのでは」という見方もありました。ただ、その場合でも「実害がないことの確認手段がユーザー側にない」という点は疑問として残りました。メモリをどれだけ使っているのか、通信していないことをどう確認するのか、という話です。

悠真: そしてどちらの立場でも、「crapification」という言葉が繰り返し出てきました。Appleが余計なものを詰め込んでいく方向性への不満ですね。「crapification」つまり「クソ詰め込み化」。ワークアラウンドが必要になったこと自体が象徴だ、という声。

葵: 今後はどうなるか。ワークアラウンドがさらに出てくるか、あるいはAppleが公式の挙動を変えるか、まだどちらも不確実です。わからないのは、この常駐が設計上の判断なのか、単にまだ消し忘れているレベルのものなのか、という点です。ここは明かされていない。

悠真: ただ、この「MacにAIが強制的に入ってくる」という話と対になるのが、次のテーマです。逆に、MacはローカルAIを回す「理想のマシン」として活かせる、という話に自然につながります。

葵: まずは大型側から。M5 Ultra Mac Studio、256GB構成が、ローカルAIエージェントを動かすには最高のマシンだと評価されています。

悠真: ただし比較として、RTX 5090はまだ速い。ただ、それには12,299ドルかかる。つまり速度的には負けているものの、コストと256GBというメモリの余裕を考えると、エージェント用途ではMac Studioが勝る、という評価です。

葵: ディスカッションでは、この「統合メモリで256GB」という特性が効いている、という理由づけが中心でした。大きなモデルをローカルで回すにはメモリ容量がボトルネックになるので、GPUが絶対的に速くなくても、メモリに全部載せられる環境が価値を持つ、と。

悠真: で、この話の面白い対極が、もう一つの投稿です。mini-AGI。継続学習モデルをゼロから訓練したプロジェクトで、使っているのは8GBのGPU、RTX 3070のラップトップ。

葵: 技術的には動的MoE、つまりMixture of Expertsを動的に使っていて、単一のストリームで学習させる設計です。巨大なデータセットで一気に訓練するのではなく、ずっと学習し続ける、というアプローチ。

悠真: ただ、ここは正直に言って、投稿自体が「まだtoy-level」と認めています。まだおもちゃのレベルです。

葵: それでもコメントで面白がられていたのは方向性です。消費者向けの小型ハードで、学習そのものをやろうとしている実験というのは珍しい。前者のM5 Ultraが「巨大な推論環境」で、後者は「小型ハードでの学習実験」と、両極に分かれるんです。

悠真: サポートの話題を少し挟みましょう。XiaomiがMiMo-V2.6というopen-weightでマルチモーダルな低コストシリーズを出していて、ベンチマークのグラフが透明だと褒められています。あと、Kevというのは、Qwen3.5の上に載せる小さな意思決定モデルのファミリーで、0.8B、4B、9Bのサイズ。分類やルーティング、検証タスク向けだそうです。

葵: これらはどちらも「ローカル・小型・オープン」という流れの中で文脈が揃います。Mac Studioで巨大モデルを回す人と、Kevみたいな小さいモデルで実務を回す人、どちらもローカルで完結させたいという同じ動機の別の解なわけです。あとはHereticというのも挙げておきますね。LLMから自動的に censorship を外す、いわゆる abliteration を行うツールで、pip install heretic-llm で入れられる。作者は標準的なメトリクス、拒否率とKLDを使うべきだと主張しています。

悠真: さて、ローカルと対になるクラウドのフロンティアモデルです。まずGrok 4.7。より大きなベースモデルになりながら、価格は据え置き、1Mトークンあたり入力2ドル、出力6ドル。CursorBenchでは46.3%。

葵: ただ、コメントで目立つのが「怠慢」への不満です。HNで「Done!」だけで終わる回答への批判が集中しました。これって、大きなモデルで安くなった結果、出力を控えめにする傾向があるのでは、という疑念につながるんです。

悠真: そしてその疑念を裏付けるような別の測定があります。Fable 5がサブスクリプションの恒久プランに入った後、独立の測定で、8月にthinkingトークンの使用量が激減していたことが分かったんです。

葵: これがディスカッションでの論点で、モデルの中身が変わりにくい代わりに、推論の量や振る舞いが静かに調整されている可能性があります。ユーザーは価格やモデル名の変更は見えるけど、「考える量」が減っていることは見えにくい。だからこそ独立の測定が価値を持つ、という話になりました。

悠真: さて、こうしたAI企業の発表が「本当に正しいのか」をどう検証するか、というのが次のテーマにつながります。数学と学術界がAIに向き合う、という話です。

葵: まず、Tao、Gowers、Wittenらの数学者による独立の諮問グループがIAS、つまりプリンストンの高等研究所で設立されました。彼らが何をするかというと、AI企業の数学的成果の公表方法について助言するんです。

悠真: これは巨大な新聞記事じゃなくて、この存在自体が「AI企業による数学の成果の公表を、第三者が監視する仕組みができる」ということです。

葵: 一方、Tim DettmersがOpen Source Weekを発表して、学術界の再生を主張しています。彼の主張は、研究の単位を「論文」ではなく「エコシステム」にしよう、というものです。一つのユニットとしての研究が、コード、データ、コミュニティを含むエコシステムとして存在する、と。

悠真: この二つは重なるんです。一つは巨大企業中心のAI成果の検証を作る動き。もう一つは、オープンで継続的な研究文化を再構築する動き。どちらも「信用は作られた仕組みから作るもの」という考え方です。

葵: MiMo-V2.6のベンチマークの透明性が褒められた話も、この文脈でつながります。発表の仕方が信頼に影響する、という普遍的な問題なんです。

悠真: さて、トーンを変えてセキュリティです。まずは、悪意のあるnpmパッケージの話。

葵: パッケージ名はmathmain。数値計算系のライブラリっぽく見えますが、中身はリモートアクセス用のインプラントを隠していました。

悠真: この巧妙さがディスカッションの焦点で、トリガーの設計が非常に凝っています。LUソルブ、LU分解を使った方程式求解の際に、その行列が復号パスワードとして機能する条件で、インプラントが起動するんです。

葵: つまり、普通の数値計算コードの実行中にのみ発火する。コメントでは、この設計の「数学的な美しさ」と、それを検知の観点から見るとどうなるか、という話になりました。普通のライブラリのふりをしたパッケージをどう見つけるか、という課題は、この種の攻撃では本質的に難しいです。

悠真: そして逆方向の話として、ZuckOffというアプリが登場しています。ポーランドの開発者Pawel Szydlowskiが作った無料アプリで、Bluetoothでメタのメガネを検出します。

葵: リリース当日にApp Storeで5,000ダウンロードしたという話です。そして技術的な詳細として、Ray-BanとOakleyのMetaメガネ、あとSnapのデバイスのBluetoothのシグネチャを識別します。そして、すべての処理は電話の中だけで完結します。データがどこかへ飛ぶわけではない。

悠真: ただ、コメントで正確に指摘されていたのは限界です。すべてのデバイスを検出できるとは限りらないし、spoofing、つまり偽装には耐性があるとは言えない。それでも、隠れた監視デバイスを自分の携帯電話で検出できるというツールが、こうして即座に人気になったこと自体が意味のある現象です。

葵: もう一つ、ハードウェアの制御の話として、Raspberry Piが載っていました。ラズパイが、ボード上のRAMチップの交換をサポート上の問題を理由にブロックしたという話です。

悠真: ユーザーからは、その制限への批判が出ています。これは今日の最初の話題、Appleが自分のマシンの上でプロセスを常駐させる話と同根なんです。ハードウェアメーカーが、自分の所有物に対するユーザーの操作を制限する、という構造。

葵: セキュリティという文脈では、「隠れた脅威」「検知」「ハードウェアの制限」という対立軸を並べて見られたのは面白かったです。では、通信インフラへ行きましょう。

悠真: まず、実際にあった障害から。アメリカのFAAが、東海岸の混雑した空港での飛行を一時中断しました。

葵: 原因は光ファイバーの切断による通信障害です。先端の航空管制インフラが、物理的に一本切れるだけで動かなくなる、という現実的な脆弱性です。

悠真: そして対比として、Rhizomaticaという団体のHERMESというプロジェクトが投稿されています。open-sourceの短波ラジオで、20ワットの電力で、400から600キロメートルの距離を結ぶリンクで、暗号化されたデータを送るんです。

葵: 衛星を使わずに、というのがポイントですね。ディスカッションでは、この二つを並べること自体が示唆的だという見方が強かったです。最先端のインフラは単一点障害に脆い。一方、古い技術である短波で、自立した通信網が作れる。

悠真: 短波は技術的には何十年も前のものですが、暗号化データを送れる形で「現代的に使う」という発想が新鮮でした。FAA障害のような事象が起きたときに、この種の代替技術がどれだけ現実的な選択肢になるのか、という議論はまだ解かれていません。

葵: では、開発者ツールの話に移ります。まず、CIの高速化の事例です。Linearという会社の話です。

悠真: 彼らはCIの待ち時間を、6分以上から約5分に短縮しました。しかも、テストあたりのランナー時間は半分になったんです。そして重要なのは、テストスイートの規模はその間にほぼ4倍に増えていた、ということです。

葵: つまり、テストの量が4倍になっても、待ち時間が減って、個々のテストの実行時間も半分になった。ディスカッションでは、どうやってそれを実現したのかという技術的な話が中心になりました。

悠真: そしてもう一つ、CloudflareのPython WorkersがGA、つまり一般提供になりました。

葵: これまでCloudflareのWorkersでPythonを動かすには、 JavaScriptを接着剤にする必要がありました。それが今回のGAで、glue JSなしで、PythonのフレームワークやAIのライブラリがWorkersのランタイム上で直接動くようになったんです。

悠真: この二つの話を並べると、開発体験の「速度」と「多様性」がどちらも上がっている、という流れが見えます。待ち時間を減らす工夫と、使える言語を増やす工夫。どちらも開発者の日々の体験を良くする方向です。

葵: トランスフォーマーを可視化する話も軽く出しておきますね。Transformer Explainerという、トランスフォーマーの動作をインタラクティブに見られる可視化ツールがあって、GPT-2の124Mパラメータのモデルをブラウザで動かしているんです。

悠真: さて、時間の流れも変わって、レトロコンピューティングの話題です。まず、AppleのcancelされたOS、Coplandです。

葵: これがすごい話で、DingusPPCというブラウザ上で動くエミュレータが、Copland D11E4、Appleが開発を取りやめたOSの最後のビルドを、11個のパッチで動かすことに成功したんです。

悠真: Coplandは90年代に開発されていて、結局出荷されずに中止されたOSなので、「動く状態を見られる」こと自体が歴史的に意味があります。

葵: そしてもう一つ、PDP-11/83の復元の話です。Mentec M11というCPUと2.11BSDを組み合わせて、このマシンが今も生きたWebページを配信しています。

悠真: そしてここに技術的なひねりがあって、M11はDECの浮動小数点ではなくIEEEの浮動小数点を使うんです。だからカーネルをカスタマイズする必要があった、と。

葵: この「歴史的システムの保存と再現の楽しさ」は、ディスカッションでも素直に楽しまれていました。では、最後のテーマです。意図的な書き方と意図的なインターネット。

悠真: まず、調査結果から。78%の開発者が、AIっぽく見える記事は読むのをやめる、と答えたんです。そして98%が、著者自身の文章を好む、と。

葵: つまり、書き方が「意図的」であることが価値を持つ、という調査です。人間が考えて書いた痕跡のある文章は、AIが生成した文章とは区別され、むしろ価値が上がっている。

悠真: そしてこれと並ぶのが、Tetris effectの記事です。ゲームのテトリス効果、脳が繰り返しパターンを見続ける現象を、アルゴリズムによる注意の乗っ取りのたとえとして使っています。フィードを見続けてしまう、みたいな現象ですね。この記事が唱えているのは、ブログ、RSS、自分の選択による「意図的なインターネット」です。

葵: サポートの話題として、隠れた透かしの話も入れておきましょう。Spymarkという、ユーザーを追跡する隠しの透かしがあります。そしてSynthIDという、512x512の画像に136ビットをコード化する技術で、その中には個人に紐づくIDも含まれます。

悠真: これは「機械が生成したコンテンツ」を後から追跡する仕組みですが、ディスカッションでは、この種の技術が普及することで、「著者の意図」と「機械の介入」の境界がさらに曖昧になる、という議論につながりました。

葵: そしてGrim Fandango、1996年のLucasArtsのクラシックの話も、最後に挟みます。

悠真: ゲームのパズルのドキュメントが投稿されていて、HNではこのクラシックのスタイル、アート、音楽を再評価する声が集まりました。そして、リマスター版が登場して、コントロールが扱いやすくなっている、という話です。

葵: このGrim Fandangoの話が最後のテーマに入る理由は、レトロゲームを「自分で選んで」遊ぶ体験が、アルゴリズムの配信ではなく自分の選択で構成する体験とつながるからです。

悠真: 今日の全体を振り返ると、「意図的」が鍵だったと思います。意図的に書く。意図的に選ぶ。意図的に自分のマシンを制御する。

葵: そうですね。Appleが勝手に常駐させるプロセスも、アルゴリズムが勝手に流してくるコンテンツも、「意図」がない状態が問題であって、その対抗手段は常に、自分で選択する、という形でした。

悠真: というわけで今日はここまで。聞いてくれてありがとうございました。

葵: また次回。