TechFlow 消息、11月26日、Robinhood CEOのVlad Tenevが共同設立したAIスタートアップHarmonicは、1億2000万ドルの資金調達を完了し、評価額は14億5000万ドルに達した。今回の資金調達ラウンドはRibbit Capitalが主導し、Sequoia、Kleiner Perkins、新規投資者Emerson Collectiveが参加した。
Harmonicのコア技術「数学スーパ知能（MSI）」は、統計的予測ではなく形式論理に基づき、AIハルシネーション問題の解決を目指している。同社のフラッグシップモデルAristotleは国際数学オリンピックで優れた成果を上げており、GoogleやOpenAIの主要な研究ラボと同等のレベルに到達している。
AristotleはLean4プログラミング言語を用いて検証可能な推論ステップを生成し、結論が厳密な論理に基づくことを保証する。この技術は航空宇宙や金融などリスクの高い業界において特に有効である。現在Aristotleは無料APIを通じて開発者や数学者向けに公開されており、商業化の計画は後ほど発表される予定である。
お気に入りに追加
SNSで共有
