Greg Kroah-HartmanのClanker T1000:Framework Desktop上でAMD Ryzen AI MaxがLinuxカーネルのバグをファジングするローカルLLM

Linuxカーネルの安定版メンテナーであるGreg Kroah-Hartmanが、彼のgregkh_clanker_t1000のハードウェア構成を公開しました。これはAIベースのファジングツールで、カーネルのバグを発見しています。AMD Ryzen AI Max+「Strix Halo」プロセッサを搭載したFramework Desktop上でローカル大規模言語モデル(LLM)を実行し、4月7日以降、メインラインLinuxに約20個のパッチがマージされました。
主な詳細
- ハードウェア: AMD Ryzen AI Max+(Strix Halo)搭載のFramework Desktop。このCPU/APUは、強力なiGPUとオープンソースソフトウェアでのLLM性能で知られています。
- 修正されたバグ: ALSA、HID、SMB、Nouveau、IO_uring、その他のカーネルサブシステムの問題に対処するパッチ。
- アプローチ: クラウドベースではなくローカルLLMを使用してファジングとバグ発見を実施。GregはMastodonでマシンの写真を公開しましたが、ソフトウェアスタックの詳細はまだ明らかにしていません。
- 影響: カーネルセキュリティテストにおいてクラウドLLMに依存しない実用的な代替手段を示し、数十のバグがすでに修正されています。
対象読者
AI支援ファジングに興味がある、または開発タスク用に大規模モデルを実行できるローカルハードウェアを選定中のLinuxカーネル開発者向け。
📖 Read the full source: HN AI Agents
👀 See Also

Anthropic、Claude AIエージェントに関連するコード流出に対応
Anthropicは、Claude AIエージェントに関連するコードの流出に対処していると、Hacker Newsで13ポイントと6コメントを集めたWSJの記事が報じています。

ジェンマ4リリース:ローカルAIホスティング向け4つのモデルサイズ
Googleは、エッジデバイス、ノートパソコン、GPUなど、さまざまなハードウェア向けに最適化された4つのモデルサイズを備えたGemma 4をリリースしました。すべてのモデルはテキストと画像のマルチモーダル機能を備えており、小型モデルはリアルタイム音声をサポートしています。

Anthropicの自然言語オートエンコーダーがClaudeのアクティベーションを読みやすい英語に変換する仕組み
Anthropicは、Claudeの内部活性化を平文の説明に変換し、韻、安全性テストへの認識、カンニング検出に関するモデルの推論を明らかにする自然言語オートエンコーダ(NLA)をリリースしました。

構造化ワークフローがAI DESベンチマークで計画モードとスーパーパワーを凌駕
OuroborosワークフローがAI支援離散イベントシミュレーションベンチマークで1位を獲得。Claudeのプランモードやfat-skillスーパーパワーアプローチを上回り、構造化された明確化→計画→実行→評価→回復→反復のサイクルを活用。