Robinhood CEO'su Vlad Tenev'in kurucu ortağı olduğu yapay zeka girişimi Harmonic, Pazartesi günü kullanıcıların yapay zeka modeli Aristotle'a erişebileceği bir iOS ve Android sohbet robotu uygulamasının beta sürümünü duyurdu.
Matematik Bazlı Yeni Sohbet Robotu
Şirket, bu lansmanla, Harmonic'in matematiksel akıl yürütmeyle ilgili sorulara "halüsinasyon içermeyen" yanıtlar sunduğunu iddia ettiği Aristoteles'e erişimi genişletmeyi hedefliyor. Bu iddia, günümüz yapay zeka modellerinin güvenilirlik sorunları göz önüne alındığında oldukça iddialı.
Harmonic, "matematiksel süper zeka" veya kısaca MSI yaratmaya odaklanıyor; girişim, fizik, istatistik ve bilgisayar bilimi de dahil olmak üzere matematiğe dayalı tüm alanlarda kullanıcılara yardımcı olmayı hedefliyor.
 |
Harmonic CEO'su ve kurucu ortağı Tudor Achim, TechCrunch'a verdiği bir röportajda, "[Aristoteles], insanların akıl yürütüp çıktıları resmi olarak doğrulayan ilk ürünüdür," dedi. "Aristoteles'in desteklediği nicel akıl yürütme alanlarında, aslında halüsinasyon olmadığını garanti ediyoruz."
Harmonic, ilerleyen dönemlerde işletmelerin Aristoteles'e erişebilmesini sağlayacak bir API ve tüketiciler için bir web uygulaması yayınlamayı planladığını söylüyor.
Harmonic, Aristoteles'in 2025 Uluslararası Matematik Olimpiyatı'nda (IMO) altın madalya performansına resmi bir testle (yani problemler makine tarafından okunabilir bir biçime çevrilerek) ulaştığını söylüyor. Google ve OpenAI da bu yılki IMO'da altın madalya performansına ulaşan ancak bunu doğal dilde yapılan resmi olmayan testlerle yapan yapay zeka modelleri geliştirdi.
Harmonic, şu anda Aristoteles için başka kıyaslama kriterleri yayınlamayacağını söylüyor.
 |
Aristotle'ın beta lansmanı, Harmonic'in Kleiner Perkins liderliğindeki B Serisi yatırım turunda 875 milyon dolarlık değerlemeyle 100 milyon dolar toplamasından sadece birkaç hafta sonra gerçekleşti.
Achim, Harmonic'in MSI'a ulaşma yolunda "çok hızlı ilerlediğini" ve yatırımcıların, girişimin hedefleri göz önüne alındığında bunun adil bir değerleme olduğuna inandığını iddia ediyor.
Birçok önde gelen teknoloji şirketi, yapay zeka modellerini matematik problemlerini çözecek şekilde eğitmeye odaklanmıştır. Matematik yapabilen yapay zeka kendi başına değerlidir, ancak matematik aynı zamanda temel muhakeme becerileri gerektiren, benzersiz ve doğrulanabilir bir alan olarak kabul edilir. Bu yetenekleri geliştiren sistemler, diğer alanlarda da faydalı olabilir.
Achim, Harmonic'in son derece hassas çözümlerine, Aristoteles'in açık kaynaklı programlama dili Lean'de yanıtlar üretmesini sağlayarak ulaştığını söylüyor. Aristoteles kullanıcılara yanıt vermeden önce, modelin yapay zeka içermeyen algoritmik bir süreçle çözümün doğruluğunu iki kez kontrol ettiğini belirtiyor.
Harmonic CEO'su, benzer teknolojinin tıbbi cihazlar ve havacılık gibi yüksek riskli alanlarda çıktıları doğrulamak için kullanıldığını belirtiyor.
Dar bir alanda bile, bir yapay zeka modelinden halüsinasyonsuz performans elde etmek inanılmaz derecede zor bir iştir. Araştırmalar, önde gelen yapay zeka modellerinin bile çok fazla halüsinasyon gördüğünü ve sorunun düzelmediğini ortaya koymuştur. OpenAI'nin en yeni yapay zeka akıl yürütme modelleri, eski modellerine göre daha fazla halüsinasyon görmektedir.
