Mac Studio上のDeepSeek v4 Flash:ローカルLLMがコンパイラコードの実際のバグを発見

コンパイラプロジェクトtsz.devに取り組む開発者によると、128GB Mac Studio上でDeepSeek v4 Flashをローカル実行することで、複雑なコードベースの実際のバグを見つけることができるようになりました。わずか5ヶ月前には、このタスクにはClaude（クラウドベース）が必要でした。

ハードウェアとセットアップ

• マシン: 128GB Mac Studio
• モデル: DeepSeek v4 Flash
• ラッパー: pi-ds4 — GitHubのmitsuhikoによる軽量Pythonラッパー

ワークフローの詳細

ユーザーはローカルモデルにコンパイラコードのバグを見つけるよう指示しました。モデルは多くの問題を報告し、ユーザーはそれらが有効なバグ（幻覚ではない）であることを確認しました。現在、それらのバグをClaudeとGPT（有料アカウント）を使用して修正中です。ユーザーは次のように述べています: 「有効と思われるバグを大量に生成してくれました」 — つまり、モデルの出力は実用的であるということです。

開発者は2026年1月1日に同じハードウェアでプロジェクトを開始しましたが、当時のローカルLLMはエラーが多すぎたため、Claudeに依存していました。5ヶ月での改善は劇的であり、現在ではローカル推論が難しいコードベースに対してクラウドサブスクリプションなしで高品質な出力を生成できるようになりました。

重要なポイント

これは、ローカルLLM（特に128GB RAMという比較的手頃なコンシューマーハードウェア上のDeepSeek v4 Flash）が、コンパイラのバグ検出のような専門的なタスクを処理できることを示す現実世界での検証です。開発者は、512GB RAMがあればパフォーマンスがさらに向上すると推測しており、より大規模なモデルや高速な推論によってクラウドAPIとの差がさらに縮まる可能性を示唆しています。