Matematiksel Süper Zeka (MSI) geliştiren yapay zeka platformu Harmonic‘in A serisi yatırım turunda 325 milyon dolar değerleme üzerinden 75 milyon dolar yatırım aldığını 2024’ün Eylül ayında sizlere aktarmıştık.
Harmonic, yaklaşık 900 milyon dolar değerleme üzerinden 100 milyon dolar yatırım aldığını duyurdu. Şirketin 100 milyon dolarlık yatırım turuna Kleiner Perkins liderlik etti. ABD merkezli Harmonic’in yatırım turunda Paradigm Management, Ribbit Capital, Sequoia Capital, Index Ventures ve Charlie Cheever yer aldı.
Harmonic, yeni aldığı yatırımı yapay zeka modeli Aristotle’ın ticarileştirilmesini hızlandırmak ve bu yapay zeka yeteneğini kullanıcıların erişimine sunmak için kullanacağını açıkladı.
2023 yılında kurulan şirket, Robinhood CEO’su Vlad Tenev tarafından destekleniyor ve Tudor Achim tarafından yönetiliyor. Harmonic, temelde matematiksel ispatlar yapabilen yapay zeka modelleri geliştiriyor. Şirketin amacı, insan seviyesinin ötesinde matematiksel akıl yürütme yapabilen bir yapay zeka üretmek.
Harmonic’in matematik modeli Aristotle, doğal dilde ifade edilen matematik problemlerini bilgisayar tarafından doğrulanabilir formel ispatlara dönüştüren bir yapay zeka motoru olarak ön plana çıkıyor. Bu sistem, Lean 4 adlı açık kaynaklı bir ispat asistanı kullanarak matematiksel tanım, teorem ve ispatları doğru biçimde üretiyor.
Harmonic, internetteki mevcut verileri kullanmak yerine, yapay zekaya eğitim vermek amacıyla kendi ürettiği sentetik problem-ispat çiftlerini kullanıyor. Aristotle, MiniF2F gibi uluslararası kabul görmüş değerlendirme ölçütlerinde yüzde 90 başarı oranına ulaşarak lise düzeyinden olimpiyat seviyesine kadar matematik problemlerini çözme kapasitesine sahip olduğunu gösterdi.
Kaynak: webrazzi
