ハーモニックがAI数学チャットボットをリリースして、ユーザーの正確な問題解決を支援
AIスタートアップのハーモニックが、数学的推論AI「アリストテレス」をリリースしました。このアプリは、幻覚のない正確な解答を特徴としており、アルゴリズム検証にはオープンソース言語Leanが使われています。2025年の国際オリンピック数学テストで金メダル級のパフォーマンスを示しました。会社は最近1億ドルのBラウンド資金調達を完了し、評価額は8億7,500万ドルに達しています。数学スーパーアイの構築を目指しています。今後APIの公開とWeb版のリリースを行い、ビジネス応用範囲を広げます。