アーカイブ — US — techcrunch
ロビンフッドCEOのHarmonic、AIチャットボットアプリを発表
Harmonicは、RobinhoodのCEOであるVlad Tenevが共同設立した企業で、AIチャットボットアプリのベータ版、Aristotleを立ち上げました。同アプリは数学的推論に関する「幻想を排除した」回答を提供すると主張しており、ユーザーをさまざまな数学に依存する分野でサポートすることを目指しています。Harmonicは最近、技術をさらに開発するために1億ドルを調達し、高い達成基準に準じた正確性を確保するためにプログラミング言語を使用して回答を形式化しています。
要点
- Harmonicは、RobinhoodのCEOであるVlad Tenevが共同設立したAIスタートアップである。
- 数学に関するクエリに対応するためのベータ版iOSおよびAndroidアプリAristotleをリリースした。
- 「見る幻影のない」回答を提供すると主張し、AIモデルにとって重要な課題である。
- 様々な数学関連分野に向けた「数学的超知能」（MSI）の創造に焦点を当てている。
- シリーズBラウンドで1億ドルの資金調達を行い、企業価値は8億7500万ドルと評価された。
- Aristotleは、結果をアルゴリズム的に検証するためにオープンソースのプログラミング言語であるLeanを使用している。
- 医学や航空などの重要分野で類似の検証システムが使用されている。
- 2025年の国際数学オリンピアードで高いパフォーマンスを達成し、先導するモデルと同等の結果を出している。
なぜ重要か
- 数学的な解決策を提供するAIの台頭は、信頼性の高いAI技術への需要増加と一致しています。
- AIの現在のトレンドは、様々なセクターでの産業ニーズに応えるために論理的な能力を向上させることに焦点を当てています。
- 歴史的な文脈において、信頼性の高いAI性能を達成することは、テクノロジー業界における重要な障壁であることが示されています。
- GoogleやOpenAIなどの企業による同様の取り組みは、AIの論理的な進歩を目指す競争的な環境を反映しています。
ハーモニックの「アリストテレス」の導入は、数学的論理におけるAIの信頼性に対処するための有望な一歩であり、さまざまな分野でAIテクノロジーとのユーザーインタラクションの変革をもたらす可能性があります。この分野では課題は続いていますが、競争の進展もある中、前進しています。