Harmonic 专注于人工智能领域，目前构建基于数学超级智能（MSI）的软件验证和代码验证功能，主要应用于区块链、金融服务等行业。