Robinhood CEOのVlad Tenevが共同設立したAIのスタートアップであるHarmonicは、iOSおよびAndroid向けのAIチャットボットアプリのベータ版を発売し、ユーザーがAIモデルのAristotleにアクセスできるようにしました。同社は、アリストテレスへのアクセスを拡大することを目指しています。アリストテレスは、数学的な推論の質問に「幻覚のない」回答を提供すると主張しています。現在のAIモデルで継続的な信頼性の問題を考えると、これは重要な主張です。
ハーモニックの核となるミッションは、「数学的な緊張」（MSI）を作成することです。スタートアップは、物理学、統計、コンピューターサイエンスなどの数学に依存するさまざまな分野をユーザーを支援するアリストテレスの能力を拡大する予定です。ハーモニックのCEO兼共同設立者のチューダー・アチムは語った TechCrunch アリストテレスは「推論を行い、出力を正式に検証する人々が利用できる最初の製品」であり、「アリストテレスがサポートするドメイン内で定量的な推論ドメインであるドメイン内で、実際に幻覚がないことを保証します」と付け加えます。
同社はまた、企業向けのAPIをリリースして、将来的には一般消費者向けのアリストテレスとWebアプリにアクセスする予定です。ハーモニックは、アリストテレスが2025年の国際数学オリンピアード（IMO）で正式なテストを通じて金メダルのパフォーマンスを達成し、問題が機械読み取り可能な形式に変換されたことを発表しました。この成果は、AristotleがGoogleとOpenaiによって開発されたAIモデルと並んでおり、自然言語の非公式テストを介して今年のIMOで金メダルのパフォーマンスを達成しました。それにもかかわらず、ハーモニックは現時点ではアリストテレスの他のベンチマークをリリースしていません。
このベータ版の発売は、ハーモニックの成功したシリーズBの資金調達ラウンドの直後に密接に続き、1億ドルを調達しました。ラウンドはKleiner Perkinsが率い、会社を8億7500万ドルと評価しました。アチムは、ハーモニックがMSIを達成するための道を「非常に迅速に進めている」ことを示し、投資家はスタートアップの野望の範囲を考えると評価が公平であると信じていました。
いくつかの大手ハイテク企業は、数学的な問題を解決するためのAIモデルのトレーニングに積極的に焦点を当てています。 AIが数学を実行する能力はそれ自体が貴重であり、数学はコア推論スキルを要求する独自の検証可能なドメインとも見なされます。これらのスキルを開発できるシステムは、他のドメインでも有用であることが証明できます。 Achimは、ハーモニックがオープンソースプログラミング言語であるLeanでアリストテレスを生成することにより、その高い精度を達成すると説明しました。ユーザーに回答を提供する前に、モデルはAIを含むプロセスである正確性のソリューションをアルゴリズム的にダブルチェックします。 Achimは、同様の検証技術が医療機器や航空などのハイステークス分野で使用されていると指摘しました。
狭いドメイン内であっても、AIモデルからの幻覚のないパフォーマンスを達成することは、非常に困難な作業です。研究により、主要なAIモデルでさえ頻繁に幻覚を起こすことが示されており、この問題は大幅な改善の兆候を示していないことが示されており、Openaiの最新の推論モデルのいくつかは、前任者よりも多くの幻覚を示すことさえあります。
Source: このスタートアップは、AIの幻覚の問題を解決したと主張しています
