ABD merkezli yapay zeka platformu Harmonic, Kleiner Perkins liderliğinde gerçekleşen yatırım turunda 100 milyon dolar yatırım aldı. Yeni yatırımla birlikte şirketin değerlemesi yaklaşık 900 milyon dolara ulaştı. Tura ayrıca Paradigm Management, Ribbit Capital, Sequoia Capital, Index Ventures ve Charlie Cheever da katıldı.
2023 yılında kurulan ve Robinhood CEO’su Vlad Tenev tarafından desteklenen Harmonic, CEO Tudor Achim liderliğinde faaliyet gösteriyor. Şirket, doğal dilde ifade edilen matematik problemlerini formel ispatlara dönüştürebilen yapay zeka modeli Aristotle ile dikkat çekiyor. Aristotle, Lean 4 adlı açık kaynaklı ispat asistanını kullanarak doğrulanabilir matematiksel çözümler üretiyor.
Harmonic, yapay zekayı mevcut veri havuzları yerine kendi oluşturduğu sentetik problem-ispat çiftleriyle eğitiyor. Bu yöntemle geliştirilen Aristotle, MiniF2F gibi uluslararası testlerde yüzde 90 başarı oranına ulaşarak lise düzeyinden olimpiyat seviyesine kadar matematik problemlerini çözebildiğini kanıtladı.
Şirket, aldığı yeni yatırımı Aristotle modelinin ticarileştirilmesini hızlandırmak ve kullanıcı erişimini genişletmek amacıyla kullanacak.
