Robinhood CEO'su Vlad Tenev'in ortak kurucusu olduğu yapay zekâ girişimi Harmonic, halüsinasyonsuz matematiksel akıl yürütme için özel olarak tasarlanmış Aristotle adlı yapay zekâ modelini içeren iOS ve Android sohbet uygulamasının beta sürümünü yayınladı.
Yakın zamanda 875 milyon dolar değerleme üzerinden 100 milyon dolarlık Seri B yatırım alan şirket, ana akım yapay zekâ modellerinden matematiksel süperzekâya (MSI) odaklanarak ayrışıyor. Geleneksel büyük dil modellerinin karmaşık hesaplamalarda zorlanmasının aksine, Aristotle baştan sona sayısal alanlarda doğruluk garantisi verecek şekilde geliştirildi.
"Aristotle, insanlara sunulan ve akıl yürütme yapıp çıktıyı resmî olarak doğrulayan ilk ürün," diyor Harmonic CEO'su ve ortak kurucusu Tudor Achim. "Aristotle'ın desteklediği, yani nicel akıl yürütme alanlarında, gerçekten de halüsinasyon olmadığını garanti ediyoruz."
Sistem bu olağanüstü doğruluğu iki aşamalı bir süreçle sağlıyor. Önce Aristotle, doğal dildeki matematik problemlerini, matematiksel tanım ve teoremlerin doğruluğunun kontrol edilebildiği açık kaynaklı Lean 4 programlama diline çeviriyor. Ardından, kullanıcıya yanıt vermeden önce, model çözümleri yapay zekâ içermeyen algoritmik bir doğrulama süreciyle tekrar kontrol ediyor—bu yöntem, tıbbi cihazlar ve havacılık gibi yüksek riskli alanlarda kullanılan doğrulama yöntemlerine benziyor.
Harmonic, Aristotle'ın 2025 Uluslararası Matematik Olimpiyatı'nda (IMO) makine tarafından okunabilir formata çevrilen sorularla yapılan resmî testlerde altın madalya performansı gösterdiğini iddia ediyor. Bu başarı, Google DeepMind ve OpenAI gibi şirketlerin yapay zekâ modellerinin de aynı yıl IMO'da altın madalya seviyesine ulaştığı bir döneme denk geliyor; ancak bu modeller, doğal dilde yapılan gayriresmî testlerle başarıya ulaştı.
Şirketin hedefleri matematiğin ötesine uzanıyor. Harmonic, MSI'ın fizik, istatistik ve bilgisayar bilimi gibi matematiksel akıl yürütmeye dayanan tüm alanlarda kullanıcılara yardımcı olacağına inanıyor. Şirket, ilerleyen dönemde kurumsal erişim için bir API ve son kullanıcılar için bir web uygulaması sunmayı planlıyor; bu da hassas nicel akıl yürütme gerektiren problemlere yaklaşımda sektörlerde köklü bir dönüşüm yaratabilir.