Harmonic, un startup de inteligență artificială co-fondat de CEO-ul Robinhood, Vlad Tenev, a lansat versiunea beta a aplicației sale chatbot pentru iOS și Android, avându-l în prim-plan pe Aristotel, un model AI conceput special pentru raționament matematic fără halucinații.
Compania, care a atras recent o finanțare de 100 de milioane de dolari în seria B la o evaluare de 875 de milioane de dolari, se diferențiază de modelele AI convenționale prin concentrarea pe superinteligența matematică (MSI). Spre deosebire de modelele lingvistice mari tradiționale, care întâmpină dificultăți în calcule complexe, Aristotel a fost construit de la zero pentru a garanta acuratețea în domeniile cantitative.
„Aristotel este primul produs disponibil publicului care face raționament și verifică formal rezultatul”, a declarat Tudor Achim, CEO și co-fondator Harmonic. „În domeniile pe care Aristotel le acoperă, adică cele de raționament cantitativ, garantăm de fapt că nu există halucinații.”
Sistemul atinge această precizie remarcabilă printr-un proces în două etape. Mai întâi, Aristotel traduce problemele matematice exprimate în limbaj natural în limbajul de programare open-source Lean 4, un asistent de demonstrație care permite verificarea corectitudinii definițiilor și teoremelor matematice. Apoi, înainte de a oferi răspunsuri utilizatorilor, modelul verifică soluțiile printr-un proces algoritmic independent de AI — similar metodelor de verificare folosite în domenii critice precum dispozitivele medicale și aviația.
Harmonic susține că Aristotel a obținut performanță de medalie de aur la Olimpiada Internațională de Matematică 2025 (IMO) prin testare formală, unde problemele au fost traduse într-un format lizibil de mașină. Această realizare vine într-un an în care și modelele AI de la Google DeepMind și OpenAI au atins standarde de medalie de aur la IMO, însă prin teste informale realizate în limbaj natural.
Ambițiile companiei depășesc domeniul matematicii. Harmonic consideră că MSI va ajuta utilizatorii în toate domeniile care se bazează pe raționament matematic, inclusiv fizică, statistică și informatică. În cele din urmă, compania intenționează să lanseze un API pentru acces enterprise și o aplicație web pentru consumatori, cu potențialul de a transforma modul în care industriile abordează problemele ce necesită raționament cantitativ precis.