Harmonic は、Robinhood のCEOであるフランク・テネフ（Vlad Tenev）が共同創業した人工知能スタートアップ企業であり、最近、iOSおよびAndroidプラットフォーム向けのAIチャットボットアプリケーションをリリースしました。ユーザーはこのアプリを通じて、AIモデル「アリストテレス（Aristotle）」にアクセスできます。このアプリは現在テスト段階にあり、「幻覚なし」という数学的推論ツールをより多くの人に利用してもらうことを目的としています。

image.png

Harmonic は、アリストテレスが数学的推論分野の問題に対して正確な答えを提供できると主張しており、これは現在一般的なAIモデルでよく見られる信頼性の問題に対する大胆な主張です。Harmonic の目標は、「数学スーパーアイノーバル（Mathematical Superintelligence、MSI）」を創造することであり、ユーザーが数学に関連するあらゆる分野、例えば物理、統計学、コンピューターサイエンスなどで問題解決をサポートしたいと考えています。

Harmonic のCEOであり共同創業者のトドール・アキム（Tudor Achim）は、TechCrunchの取材で、「アリストテレスは、推論を行い、出力を形式的に検証できる最初の製品です。アリストテレスがサポートする定量的推論の分野では、実際には幻覚がないと保証しています。」と語りました。さらに、Harmonic は将来的にAPIをリリースし、企業がアリストテレスにアクセスできるようにする予定であり、また、消費者向けのウェブアプリも公開する予定です。

注目すべき点は、Harmonic がアリストテレスが2025年の国際数学オリンピック（IMO）で金メダル級のパフォーマンスを示したと主張していることです。これは正式なテストによって実現され、問題が機械読み取り可能な形式に変換されて検証されたものです。これに比べて、グーグルやOpenAIのAIモデルも今年のIMOで金メダルを獲得しましたが、それらは自然言語による非公式なテストで行われました。

今回のアリストテレスのベータ版のリリースは、Harmonic が最近1億ドル規模のBラウンドファイナンスを完了し、企業価値が8億7,500万ドルに達したタイミングに重なります。アキム氏は、投資家たちはこの評価が妥当だと考えていると語っています。なぜなら、Harmonic は数学スーパーアイノーバルへの道を急速に進んでいるからです。

現在、多くの先進的なテクノロジー企業が、AIモデルを数学的問題を解決するために訓練しています。数学的演算ができるAIはすでに非常に価値があり、さらに数学という独自の検証可能な領域において、核心的な推論能力を持つシステムは他の分野でも重要な役割を果たす可能性があります。

アキム氏は、Harmonic がアリストテレスにオープンソースプログラミング言語Leanを使用することで、高精度の解決策を実現していると指摘しました。アリストテレスは、答えを提示する前に、AIとは関係ないアルゴリズムプロセスを使って解決策の正しさを二重に確認します。このような技術は、医療機器や航空業界などのハイリスク分野での出力検証にも広く応用されています。

わずかな分野で「幻覚なし」のAIモデルを作ることは極めて困難なタスクですが、Harmonic はその分野で重要な一歩を踏み出しました。

公式サイト: https://harmonic.fun/

ポイント:  

📊 Harmonic がリリースしたアリストテレスAIチャットボットは、正確な数学的推論の答えを提供することを目的としています。  

💰 会社は最近1億ドル規模のBラウンドファイナンスを獲得し、企業価値は8億7,500万ドルに達しています。成長が著しいです。  

🧠 アリストテレスはオープンソースプログラミング言語を活用してアルゴリズムの検証を行い、出力が「幻覚」がないことを確保しています。