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

Ad
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
Ad
👀 See Also

News
みんながAIを持っているのに会社が何も学べない:企業AI導入の厄介な中間地点
Ethan Mollickのフレームワークは、個人のAI生産性向上が自動的に組織の学習にはならないことを示している。この記事では、AIの利用が不均一で、隠れており、共有知識と切り離されている「厄介な中間」に企業が停滞している理由を探る。
OpenClawRadar

News
テレンス・タオ、AI証明チェッカーについて:Lean、コラボレーション、形式数学
テリー・タオは、数学者が数百人単位で協力し、証明を人間ではなくLeanのようなコンピュータにチェックさせる時代が来ると予言。Quanta Magazineの記事より。
OpenClawRadar

News
Claude、API利用に月間プログラムクレジットを追加予定
AnthropicのClaudeプランには、プログラム(API)利用のための毎月の専用クレジットが含まれる予定であると、ClaudeDevsのXでの投稿に基づいています。
OpenClawRadar

News
Redditユーザーが、Zen 4でQwen 3 30B Q4のCPU推論が18.8 tok/sを報告
r/LocalLLaMAのユーザーがQwen 3 30B Q4をCPUでテストし、Zen 4プロセッサとDDR5メモリを使用して18.8トークン/秒を達成し、予想の3-5トークン/秒を大幅に上回りました。
OpenClawRadar