Robinhood CEO'su Vlad Tenev tarafından ortak kurulan yapay zeka girişimi Harmonic, Ribbit Capital liderliğinde ve Sequoia, Kleiner Perkins ile Emerson Collective'nin katkılarıyla 120 milyon dolar tutarında bir yatırım turunu başarıyla tamamladı. Bu son yatırım, Harmonic'in değerlemesini 1,45 milyar dolara yükseltti. Harmonic'in yenilikçi teknolojisi "Matematiksel Süper Zeka (MSI)", istatistiksel tahminler yerine biçimsel mantığı kullanarak yapay zeka halüsinasyon sorunlarını aşmayı hedefliyor. Amiral gemisi modeli Aristotle, Uluslararası Matematik Olimpiyatı'nda Google ve OpenAI gibi önde gelen araştırma laboratuvarlarıyla rekabet edecek etkileyici sonuçlar gösterdi. Aristotle, doğrulanabilir akıl yürütme adımları üretmek için Lean4 programlama dilini kullanıyor ve bu da onu özellikle havacılık ve finans gibi yüksek riskli sektörler için değerli kılıyor. Şu anda model, geliştiriciler ve matematikçiler tarafından ücretsiz bir API aracılığıyla erişilebilir durumda olup, ticarileştirme planları devam etmektedir.