- HarmonicはRobinhoodのCEOであるVlad Tenevの支援を受け、数学的超知能プラットフォームの開発を発表
- AIモデルは精度を保証し幻覚を回避するよう設計されている
- MSIは数学に基づき、検証可能な推論能力を持ち、他のAIシステムで一般的な幻覚を排除する
- HarmonicはLeanという関数型プログラミング言語を介して数学的証明の正確性を検証し、コンピュータ代数システムの支援を得てMiniF2F検証ベンチマークで83%の成功率を達成
- MSIは航空宇宙、自動車、医療技術など安全性が重要な産業で重要な役割を果たすとされる
- Harmonicは2023年に設立されたAI企業で、CEOはTudor Achimであり、数学に根ざし精度を保証し幻覚を排除するMSIの開発に取り組んでいる
Harmonicは、RobinhoodのCEOであるVlad Tenevの支援を受け、CEOであるTudor Achimが率いる人工知能企業で、数学に根ざし精度を保証し幻覚を排除する次世代人工知能であるMSIを開発している。同社はカリフォルニア州パロアルトに拠点を置いている。