Harmonic, the Robinhood CEO’ AI math startup, launches an AI chatbot app | TechCrunch
Harmonicは、RobinhoodのCEOであるVlad Tenev氏が共同設立したAIスタートアップで、7月28日にiOSおよびAndroid向けのAIチャットボットアプリ「Aristotle」のベータ版リリースを発表しました。
このアプリは、数学的推論に関する質問に対して「幻覚のない」回答を提供することを目指しています。
Harmonicは「数学的超知性」（MSI）の実現を目指しており、物理学、統計学、コンピュータサイエンスなど、数学に依存するすべての分野での支援を目指しています。
HarmonicのCEO兼共同創業者であるTudor Achim氏は、Aristotleが定量的推論の領域において、出力を正式に検証する能力を持つ初の製品であると述べています。
Aristotleは、2025年の国際数学オリンピック（IMO）で金メダルのパフォーマンスを達成したとされ、これは機械可読形式に翻訳された問題を用いた正式なテストによるものです。
Harmonicは、将来的に企業向けにAPIを提供し、消費者向けのウェブアプリもリリースする計画です。
最近、HarmonicはKleiner Perkins主導のシリーズBラウンドで1億ドルを調達し、評価額8億7500万ドルに達しました。
Achimは、HarmonicがMSIの実現に向けて急速に進展していると主張しており、投資家たちもその野心に見合った評価だと考えています。
Harmonicは、Aristotleが高精度な解答を提供するために、オープンソースのプログラミング言語Leanを使用していると説明しています。
回答を提供する前に、AristotleはAIを使用せずにアルゴリズム的なプロセスで解答の正確性を確認します。この技術は、医療機器や航空などの高リスク分野での出力検証にも使用されています。
AIモデルが幻覚のないパフォーマンスを達成することは非常に難しい課題であり、現在のAIモデルが幻覚を引き起こすことが多いことが研究で示されています。
Harmonicは、Aristotleの他のベンチマークを現時点では公開していませんが、AIの数学的能力を向上させることが、他の分野でも有用であると期待されています。
Harmonic – AI for Formal Mathematical Reasoning
https://harmonic.fun/index
