Maxwell、最適化不十分なコードに実行時のアップグレードを

何が起きたか

月曜日、イスラエルのテルアビブに拠点を置く新興企業doubleAIが、Maxwellを発表しました。Maxwellは、プログラムの実行中に機械語のコードを調べ、改善し、書き直す「コード実行モデル」です。元のソースコードは変えません。コンピューターが実際に動かしているコードを変えます。

主な数字

• doubleAIによると、データ処理の流れ(パイプライン)は38倍以上速くなりました。
• AI推論カーネル(AIプログラムの中核となる小さな部分)は4.5倍以上速くなりました。
• 4K動画を作るオープンなワールドモデル「LTX-2.5」は、Maxwellの助けでほぼ2倍速くなりました。
• 結果はコードと動かすハードウェアによって変わります。

コンパイラとの違い

コンパイラは、人が書いたコードをコンピューターが動かせる形に変換します。プログラムが始まる前に行います。JITコンパイラ(実行中に変換するもの)は、実行中にもいくつかの作業をします。ただし、コンパイラは慎重で、小さく安全な変更しかできません。Maxwellはより柔軟です。実行中の正確なハードウェアと実際のデータを見ることができます。たとえば並べ替えの方法を別のものに替えるなど、アルゴリズム全体を置き換えることもできます。安全性は形式検証で確保します。新しいコードが同じ働きをすることを、数学的な証明で示します。

なぜ重要か

ソフトウェアが速くなると、計算資源や時間、お金を節約できます。Maxwellがうまく働けば、状況が変わってもプログラムが自ら良くなっていけます。また、変更が正しいと証明しながら、実行中にコードを変えるAIという新しい考え方も示しています。記事によると、Maxwellは、アルゴリズム的で特定のハードウェアに合わせられるコードで最も良く働きます。

注目すべき点

• 他社が大規模な実際のプログラムでMaxwellを試すかどうか。
• さまざまな種類のコードやハードウェアで証明がどこまで通用するか。
• doubleAIの例以外でも大きな速度向上が続くかどうか。