ARTEX・Strataウォッチ（夜） 2026-10-18
今夜は「韓国の論調が『ARTEXという道具』から『誰でも回せる時代』へ移った」と「Strataは速い。でもエージェントに任せて大丈夫か」の2本立てです。
今夜は「韓国の論調が『ARTEXという道具』から『誰でも回せる時代』へ移った」と「Strataは速い。でもエージェントに任せて大丈夫か」の2本立てです。
商用版ARTEX Proの話が一巡して、韓国メディアの関心は「ARTEXを止めれば済むのか」という問いに移りました。今日の2本は、どちらも「済まない」と答えています。
「今や『誰でもハッキング』の時代、命令一行でAIが突破した」— 디지털타임스（デジタルタイムス、10/18）
[[기획] 이젠 '누구나 해킹' 시대… 명령 한 줄에 AI가 바로 뚫었다]( dt.co.kr)
特定の道具そのものより「ハッキング能力の大衆化」を見るべきだ、という企画記事です。開発者が10/8にリポジトリを閉じたあとも、名前と言語だけ変えた「コピーキャット」配布が増え、18日時点で韓国語対応の派生2つだけでフォーク数が2,400件を超えた、と安全保障企業アンラボ（AhnLab）の話を引いています。今年初めのFortinet FortiGate侵害の攻撃サーバーで見つかったCyberStrikeAIなど類似ツールも既に出回っており、「道具の存在より、誰がどの権限で使うか」が問題だと整理しています。高麗大のイ・サングン教授は「IT資産を台帳で管理するだけでなく、外から探って攻撃面を確認する『常時レッドチーミング』しかない」「道具をダウンロードしてモデルをつなげば誰でも回せるので、学生が興味本位でまねしないよう教育も急げ」と述べています。
「AIエージェントが連携して自力で内部網に侵入」— アジア経済（10/18、聯合ニュース経由）
AI Agents Team Up to Find and Infiltrate Internal Networks on Their Own
アンラボ（ASEC）がARTEXの脅威度を測るために行った模擬侵入テストの結果です。2つの環境で試し、片方ではファイルアップロードの弱点からウェブシェルを置いてプログラムを実行、もう片方ではApache ActiveMQ 5.15.15の既知の脆弱性（CVE-2023-46604）で初期侵入し、内部の資産やアカウントを調べて4台のホストで遠隔コマンドを実行した、とあります。段階ごとに人が指示しなくても、前の結果から次の手を自分で決めて進んだ、というのが要点です。アンラボは10/14時点でARTEXを動かす公開IPを900以上確認し、一部の作業ディレクトリにはウェブシェルや認証情報収集、遠隔操作マルウェアも見つかったと報告しています。
今日の2本は、昨日までの헤럴드경제（「被害の差は基本の守りの差」）と一本の線でつながります。デジタルタイムスの「常時レッドチーミングしかない」も、アジア経済の「900以上のIPで既に動いている」も、結論は「止める対象が道具ではなく、自分の攻撃面」だということ。フォーク2,400件という数字は、ARTEX Proを規制しても変種が供給され続けることの裏付けでもあります。昨日のFuturPulseの「承認画面ではなく下の層で範囲を強制せよ」という評価の物差しと合わせると、防御側がやることは道具ウォッチではなく、外向きシステムの棚卸しと常時点検に尽きる、という話に収束してきました。
Strataは0.1.45（二つ目のモデルと複数ユーザー対応）を昨日取り上げました。今日は数字の話ではなく、「速くなった先で、コーディングエージェントの頭脳として信頼できるか」を問う検証が、独立ブログとIssueの両方から出てきたので、そこを拾います。
「同じモデル・同じファイルで4倍速：自宅LLMをllama.cppから乗り換えた」— Richard's Blog（10/11）
Same model, same file, four times the speed
2016年製Xeon・96GB RAM・RTX 3060という10年落ちの機械で、同じ量子化ファイルのままllama.cppからStrataに替えただけで生成が約3.3倍、プロンプト読みが215→630 tok/sになった、という記録です。読みどころは速さの数字より、筆者が「プラトーはGPUの壁だ」と二度書いて二度間違えた、と正直に認めているところ。Strataは専門家をGPU・RAM・CPU・SSDの四層に割り振り、GGUFに無いMTP下書き層を元チェックポイントから取ってきて自前で用意する——「速いllama.cppではなく、別の賭け方」だと説明しています。欠点も列挙しており、一度に一リクエスト、応答が最後に一括で返る（ストリーミングに見えない）、若くて未成熟（公開Issue 251件）、と釘を刺しています。
「StrataはQwenをllama.cppより『バカ』に動かす：ツール呼び出しのループとエンジンの非決定性」— Strata Issue #2685（10/15〜17）
Strata serves Qwen3.8-Flash-Next with strange behavior
RTX 5070で、同じIQ3_S・同じプロンプトでも、Strata経由だとツール呼び出しが失敗しがち（提供していないBashやWebFetchを幻覚し、同じlist_filesを3〜5回繰り返す「空ループ」）なのに、llama.cppなら同じ量子化でちゃんと動く、という報告です。報告者は原因をかなり追い込んでおり、プロンプトのテンプレートもトークンIDもllama.cppと完全一致なのに、同じシードでも出力が毎回変わる（エンジン側の非決定性）ところまで切り分けています。決め手はSTRATA_PREFILL_MMQ=0にすると出力がビット単位で一致したこと——つまり専門家計算のMMQ経路に揺れがある、という所見。ただしコメント欄が面白く、RTX 4070 SUPERでは原因がMMQではなくCPU分担（CPU_SHARE=0で一致）、RTX 3090では何を切っても128トークン以降で揺れる、とカードごとに症状が違う。別の5090ユーザーはCUDA 13.2.2に上げたら再現しなくなった、と報告しています。
Richardの体験記とIssue #2685は、同じStrataの両面です。「12GBのグラボで125B（実体は177B MoE）が4倍速で動く」のは本物で、待ち時間が消えることの価値は否定しようがない。一方で、その速さを「エージェントに任せる頭脳」として使うと、エンジン内部の非決定性が品質の揺れとして出てくる。しかもその揺れがGPUアーキやCUDAのバージョンで症状を変える段階にある、というのが今の正直な姿です。昨日のV2EXの「壊れていないことと正しいことは別」という警句が、まさにここに効きます。ローカルLLMを個人のチャットや翻訳に使うぶんにはStrataの速さは文句なし。でも自動化されたコーディングエージェントの母艦にするには、MMQ=0なり新しいCUDAビルドなり、自分のカードで決定性を確かめてから、という段階だと思います。
ARTEXは、商用版が出たこと自体より「止める対象は道具ではなく自分の攻撃面」という認識が韓国で固まってきたのが今週の収穫で、フォーク2,400件・稼働IP900超という数字がそれを裏打ちしています。Strataは「速いのは本物、でもエージェント運用の信頼性はこれから」という、熱狂の次の冷静な検証フェーズに入りました。どちらのテーマも、派手な新機能やベンチマークから一歩引いて「それで結局、守れるのか／任せられるのか」を問う記事が増えているのが共通しています。
ARTEXとStrataについて、5,000回以上表示された単独の投稿は見つかりませんでした。どちらの話題も、記事やニュースを引用する形で広がっていました。
公式・本人:
一般の反応: