Harmonic, AI startup kojeg je suosnovao CEO Robinhooda Vlad Tenev, objavio je beta verziju svoje iOS i Android chatbot aplikacije s Aristotelom, AI modelom posebno dizajniranim za matematičko zaključivanje bez halucinacija.
Tvrtka, koja je nedavno prikupila 100 milijuna dolara u Series B rundi financiranja uz procijenjenu vrijednost od 875 milijuna dolara, izdvaja se od uobičajenih AI modela fokusom na matematičku superinteligenciju (MSI). Za razliku od konvencionalnih velikih jezičnih modela koji imaju problema s kompleksnim izračunima, Aristotel je iz temelja razvijen kako bi jamčio točnost u kvantitativnim domenama.
"Aristotel je prvi proizvod dostupan ljudima koji radi zaključivanje i formalno verificira izlaz", rekao je Tudor Achim, CEO i suosnivač Harmonica. "Unutar domena koje Aristotel podržava, a to su domene kvantitativnog zaključivanja, zapravo jamčimo da nema halucinacija."
Sustav postiže ovu iznimnu točnost kroz dvofazni proces. Prvo, Aristotel prevodi matematičke zadatke iz prirodnog jezika u open-source programski jezik Lean 4, dokazivač koji omogućuje provjeru ispravnosti matematičkih definicija i teorema. Zatim, prije nego što korisnicima pruži odgovore, model dodatno provjerava rješenja algoritamskim postupkom verifikacije koji ne uključuje AI – slično metodama provjere koje se koriste u visokorizičnim područjima poput medicinskih uređaja i zrakoplovstva.
Harmonic tvrdi da je Aristotel postigao zlatnu medalju na Međunarodnoj matematičkoj olimpijadi 2025. kroz formalno testiranje, gdje su zadaci prevedeni u strojno čitljiv format. Ovo postignuće dolazi u godini kada su AI modeli Google DeepMinda i OpenAI-a također dosegnuli zlatni standard na IMO-u, iako kroz neformalne testove na prirodnom jeziku.
Ambicije tvrtke sežu izvan matematike. Harmonic vjeruje da će MSI pomoći korisnicima u svim područjima koja se oslanjaju na matematičko zaključivanje, uključujući fiziku, statistiku i računarstvo. U konačnici, tvrtka planira lansirati API za poslovne korisnike i web aplikaciju za potrošače, što bi moglo transformirati način na koji industrije pristupaju problemima koji zahtijevaju precizno kvantitativno zaključivanje.