ロビンフッドのCEO、ブラッド・テネフ氏が共同創設したAIスタートアップ「ハーモニック」は、AIモデル「アリストテレス」を搭載したiOSおよびAndroid向けのチャットボットアプリのベータ版を発表しました。
この発表により、ハーモニックはアリストテレスへのアクセスを広げることを目指しています。同社は、数学的推論に関する質問に対して「幻覚なし」の回答を提供すると主張しています。これは、現在のAIモデルの信頼性の問題を考慮すると大胆な主張です。ハーモニックは「数学的超知能」またはMSIの創造に注力しており、最終的には物理学、統計学、コンピューターサイエンスを含む数学に依存するすべての分野でユーザーを支援したいとしています。
ハーモニックのCEOで共同創設者のチューダー・アキム氏は、「アリストテレスは推論を行い、出力を正式に検証する最初の製品です」と述べています。「アリストテレスがサポートする定量的推論の分野では、幻覚がないことを保証しています」とのことです。
将来的には、企業がアリストテレスにアクセスできるAPIや、消費者向けのウェブアプリもリリースする計画です。
ハーモニックによると、アリストテレスは2025年の国際数学オリンピアード（IMO）で金メダルのパフォーマンスを達成しました。これは、問題を機械読み取り可能な形式に翻訳して行われた正式なテストによるものです。GoogleやOpenAIも今年のIMOで金メダルのパフォーマンスを達成しましたが、自然言語での非公式なテストによるものでした。
現在、ハーモニックはアリストテレスの他のベンチマークを公開していないということです。
アリストテレスのベータ版発表は、クライナー・パーキンスが主導するシリーズBラウンドで1億ドル（約155億円）を調達し、評価額が8億7500万ドル（約1350億円）に達した数週間後に行われました。アキム氏は、ハーモニックがMSIの達成に向けて非常に迅速に進んでいると述べ、投資家は同社の野心の範囲を考慮して公正な評価であると信じているとしています。
多くの主要テクノロジー企業がAIモデルを訓練して数学の問題を解決しようとしています。数学を解決できるAIはそれ自体で価値がありますが、数学は独自に検証可能な領域とされ、基本的な推論能力を要求します。これらの能力を発展させるシステムは、他の領域でも有用である可能性があります。
アキム氏は、ハーモニックが非常に正確な解決策を達成する方法として、アリストテレスがオープンソースのプログラミング言語Leanで応答を生成することを挙げています。アリストテレスがユーザーに回答を提供する前に、AIを使用しないアルゴリズムプロセスを通じて解決策が正しいことを二重に確認すると述べています。ハーモニックのCEOは、同様の技術が医療機器や航空などの重要な分野で出力を検証するために使用されていると指摘しています。
狭い領域でもAIモデルから幻覚のないパフォーマンスを達成することは非常に難しい課題です。研究によると、主要なAIモデルでも多くの幻覚が発生し、この問題は改善されていないようです。OpenAIの最新のAI推論モデルは、以前のモデルよりも多くの幻覚を起こしています。
