ロビンフッドのCEOヴラド・テネフが共同設立したAIスタートアップ、ハーモニックは、リビット・キャピタルが主導し、セコイア、クライナー・パーキンス、エマーソン・コレクティブが出資した資金調達ラウンドで1億2,000万ドルの資金調達に成功しました。この最新の投資により、ハーモニックの評価額は14億5,000万ドルに達しました。 ハーモニックの革新的な技術「数学的スーパーインテリジェンス（MSI）」は、統計的予測ではなく形式論理を利用することで、AIの幻覚問題を克服することを目的としています。同社の旗艦モデルであるアリストテレスは、国際数学オリンピックで印象的な成果を示し、GoogleやOpenAIなどのトップ研究所に匹敵する実力を持っています。アリストテレスはLean4プログラミング言語を用いて検証可能な推論ステップを生成し、航空宇宙や金融などの高リスク分野で特に価値があります。現在、このモデルは開発者や数学者が無料のAPIを通じて利用可能であり、商業化の計画も進行中です。