11月26日、RobinhoodのCEOであるVlad Tenev氏が共同設立したAIスタートアップのHarmonicは、1億2,000万ドルの資金調達を完了し、評価額は14億5,000万ドルでした。 このラウンドはRibbit Capitalが主導し、Sequoia、Kleiner Perkins、および新しい投資家であるEmerson Collectiveが参加しました。
ハーモニックのコア技術"数学スーパーインテリジェンス(MSI)"は、統計予測ではなく形式論理に基づいており、AIの幻覚問題を解決することを目的としています。そのフラッグシップモデルであるアリストテレスは、国際数学オリンピックで優れたパフォーマンスを発揮し、GoogleやOpenAIの先進的な研究所と同等のレベルに達しました。
アリストテレスはLean4プログラミング言語を使用して検証可能な推論ステップを生成し、結論が厳密な論理に基づいていることを確保します。この技術は特に航空宇宙や金融などの高リスク業界に適しています。現在、アリストテレスは無料APIを通じて開発者や数学者に開放されており、商業化計画は後日発表される予定です。
2.57K 人気度
644 人気度
649 人気度
32.75K 人気度
84.07K 人気度
AIスタートアップのHarmonicが1.2億ドルの資金調達を行い、評価額は14.5億ドルに達しました
11月26日、RobinhoodのCEOであるVlad Tenev氏が共同設立したAIスタートアップのHarmonicは、1億2,000万ドルの資金調達を完了し、評価額は14億5,000万ドルでした。 このラウンドはRibbit Capitalが主導し、Sequoia、Kleiner Perkins、および新しい投資家であるEmerson Collectiveが参加しました。
ハーモニックのコア技術"数学スーパーインテリジェンス(MSI)"は、統計予測ではなく形式論理に基づいており、AIの幻覚問題を解決することを目的としています。そのフラッグシップモデルであるアリストテレスは、国際数学オリンピックで優れたパフォーマンスを発揮し、GoogleやOpenAIの先進的な研究所と同等のレベルに達しました。
アリストテレスはLean4プログラミング言語を使用して検証可能な推論ステップを生成し、結論が厳密な論理に基づいていることを確保します。この技術は特に航空宇宙や金融などの高リスク業界に適しています。現在、アリストテレスは無料APIを通じて開発者や数学者に開放されており、商業化計画は後日発表される予定です。