Harmonic, en AI-startup medgrundad av Robinhoods vd Vlad Tenev, har släppt betaversionen av sin chattbotapp för iOS och Android med Aristotle – en AI-modell särskilt utvecklad för matematiskt resonemang utan hallucinationer.
Företaget, som nyligen tog in 100 miljoner dollar i en Serie B-runda till en värdering på 875 miljoner dollar, särskiljer sig från andra AI-modeller genom sitt fokus på matematisk superintelligens (MSI). Till skillnad från traditionella stora språkmodeller som har svårt med komplexa beräkningar, är Aristotle byggd från grunden för att garantera exakthet inom kvantitativa områden.
"Aristotle är den första produkten tillgänglig för allmänheten som resonerar och formellt verifierar sitt resultat", säger Harmonics vd och medgrundare Tudor Achim. "Inom de områden som Aristotle stödjer – alltså kvantitativa resonemangsdomäner – kan vi faktiskt garantera att det inte förekommer några hallucinationer."
Systemet uppnår denna anmärkningsvärda noggrannhet genom en tvåstegsprocess. Först översätter Aristotle matematiska problem i naturligt språk till det öppna programmeringsspråket Lean 4, ett bevisassistentverktyg som möjliggör kontroll av matematiska definitioner och satser. Därefter dubbelkollar modellen lösningarna genom en algoritmisk verifieringsprocess som inte involverar AI – liknande verifieringsmetoder som används inom säkerhetskritiska områden som medicinteknik och flygindustri.
Harmonic hävdar att Aristotle nådde guldmedaljnivå vid 2025 års Internationella matematikolympiad (IMO) genom formell testning, där problemen översattes till maskinläsbart format. Detta sker under ett år då även AI-modeller från Google DeepMind och OpenAI nådde guldmedaljstandard vid IMO, dock genom informella tester på naturligt språk.
Företagets ambitioner sträcker sig bortom matematik. Harmonic tror att MSI kommer att hjälpa användare inom alla områden som bygger på matematiskt resonemang, såsom fysik, statistik och datavetenskap. På sikt planerar företaget att lansera ett API för företagskunder samt en webbapplikation för konsumenter, vilket potentiellt kan förändra hur industrier angriper problem som kräver exakt kvantitativ logik.