ロビンフッド CEO の AI スタートアップである Harmonic が、アリストテレスをソフトウェアとチップ設計の検証に拡張

ロビンフッド最高経営責任者（CEO）のヴラド・テネフ氏が共同設立したAI新興企業ハーモニック社は火曜日、同社のアリストテレスモデルを数学的証明からソフトウェアとチップ設計の検証に拡張すると発表したとロイター通信が報じた。この動きは、ソフトウェアの欠陥検出におけるAIの利用が拡大し、監視の目が厳しくなっている中で行われた。

数学の証明からコードまで

Harmonic氏によると、アリストテレスは現在、Cで書かれたソフトウェアやVerilogで書かれたチップ設計を検証できるという。同社は、その目標を数学的スーパーインテリジェンス、つまり幻覚や事実誤認を減らすことを目的とした推論に焦点を当てた AI システムであると説明しています。

ロイターは、研究者らが最近この種のテクノロジーを使用してPHPの重大なバグを発見し、世界中でパッチの適用が急がれていると指摘した。 Harmonic がサービスを提供したいと考えている市場は、テストだけではなく数学的チェックを使用して設計段階で欠陥を発見することです。

4時間の核融合事件

ハーモニックは米国の核融合研究所 DIII-D を指摘し、同研究所はアリストテレスを利用して、1 冊の研究論文と 254 語のプロンプトから原子炉制御ソフトウェアの一部を 4 時間で再構築したと述べた。この例は、コードを記述するだけでなく、それを仕様に照らしてチェックする推論モデルを示すことを目的としています。

背景と見どころ

Harmonicは昨年11月、Nvidiaのベンチャー部門であるSequoiaとRibbit Capitalの支援を受け、評価額14億5000万ドルで1億2000万ドルを調達した。報告書では、この事業拡大に伴う新たな資金調達や新規顧客については言及していない。次に重要なのは、検証ツールが研究デモンストレーションからチップ企業やソフトウェア企業の日常の開発作業に移行するかどうか、そして顧客がその追加の確実性に対してお金を払うかどうかです。