フランスのスタートアップSkipLabsは、6名のメンバーと共にMistralに合流し、「Language」と名付けられた新チームを編成する。この買収は特に、AIエージェント（自律的にタスクを実行するプログラム）によって生成されたコードを検証するメカニズムの開発を目的としている。買収金額は明らかにされていない。
SkipLabsはMetaの元エンジニア、Julien Verlaguetによって設立された。このスタートアップは、コンパイラ、型システム、静的解析、増分計算など、プログラミングに関連する複数の技術に取り組んでいる。これらの分野は、自然言語の指示からコードを生成するツールが増加する中、AIモデルプロバイダーから特に注目されている。
この買収により、Mistralはプログラミングエージェントに適した検証メカニズムの開発を目指す。これらのエージェントは自律的にコードを生成するが、同時にエラーを特定し、その結果を修正できる能力も必要とされる。同社は生成プロセスにより多くのチェックを組み込むことを望んでいる。
プログラミングエージェントのための検証メカニズム
従来の開発ツールは、コンパイラ、コードを実行せずに検査する静的解析器、およびテストシステムに依存している。これらは様々なカテゴリーのエラーを検出できるが、AIエージェントが主導する環境での使用には新たな課題が生じる。
人間の開発者はエラーメッセージを解釈し、必要な修正を判断できる。一方、エージェントは自律的にコードを適応させるために、十分に正確な情報を受け取る必要がある。また、検証の速度も重要な課題であり、生成の各段階に統合可能でなければならない。Languageチームはこれらの問題に取り組む。ただし、Mistralはこれらの技術が統合される製品や提供スケジュールについては詳細を明らかにしていない。
SkipLabsはリアクティブプログラミングに取り組む
買収前、SkipLabsは特に、リアクティブプログラミング専用のオープンソースフレームワーク（自由にアクセス可能なソフトウェアツール群）であるSkipを開発していた。このアプローチにより、データの変更に基づいて特定の処理を更新でき、すべての操作を体系的に再計算する必要がなくなる。また同社は、自然言語で指示された内容からバックエンドサービス（ソフトウェアのサーバー側で動作する部分）を生成するために設計されたAIエージェント、Skipperも開発した。
そのアーキテクチャには特に、生成されたコードの一貫性をチェックするための型チェックツールが含まれている。これらの取り組みは、AI支援プログラミングツールが直面する問題、すなわち、一貫しているように見えるコードが生成されても、それが正しい、または実用的であることを保証しないという問題に対応する。検証メカニズムは、ソフトウェアプロジェクトに統合される前に特定のエラーを検出できるようにする必要がある。SkipLabsの統合は、これらの専門知識をMistralのチームにもたらすはずだが、統合の技術的な方法については詳細が明らかにされていない。
この買収は、Mistralによる過去の外部成長戦略に追加されるものだ。同社はこれまでに、クラウドインフラ専門のKoyeb、産業シミュレーションに特化したEmmi AI、マーケティング分野のPimento、製品設計専門のNew Materialを買収している。買収前、SkipLabsは2025年にAmplify PartnersやTapestry VCなどのファンドから800万ドルのシード資金を調達していた。
