Harmonic, una startup di intelligenza artificiale co-fondata dal CEO di Robinhood Vlad Tenev, ha rilasciato la versione beta della sua app chatbot per iOS e Android con Aristotele, un modello AI progettato specificamente per il ragionamento matematico senza allucinazioni.
L'azienda, che ha recentemente raccolto 100 milioni di dollari in un round di finanziamento di Serie B raggiungendo una valutazione di 875 milioni di dollari, si distingue dai modelli AI mainstream concentrandosi sulla superintelligenza matematica (MSI). A differenza dei tradizionali grandi modelli linguistici che faticano con calcoli complessi, Aristotele è stato costruito da zero per garantire l'accuratezza nei domini quantitativi.
"Aristotele è il primo prodotto disponibile per le persone che effettua ragionamenti e verifica formalmente l'output", ha dichiarato Tudor Achim, CEO e co-fondatore di Harmonic. "Nei domini supportati da Aristotele, ovvero quelli del ragionamento quantitativo, garantiamo effettivamente che non ci siano allucinazioni."
Il sistema raggiunge questa notevole accuratezza attraverso un processo in due fasi. Innanzitutto, Aristotele traduce i problemi matematici in linguaggio naturale nel linguaggio di programmazione open source Lean 4, un assistente di prova che consente di verificare la correttezza di definizioni e teoremi matematici. Successivamente, prima di fornire le risposte agli utenti, il modello ricontrolla le soluzioni tramite un processo di verifica algoritmica che non coinvolge l'IA—simile ai metodi di verifica utilizzati in settori critici come i dispositivi medici e l'aviazione.
Harmonic afferma che Aristotele ha raggiunto prestazioni da medaglia d'oro alle Olimpiadi Internazionali della Matematica (IMO) 2025 attraverso test formali, in cui i problemi sono stati tradotti in un formato leggibile dalla macchina. Questo risultato arriva in un anno in cui anche i modelli AI di Google DeepMind e OpenAI hanno raggiunto standard da medaglia d'oro alle IMO, sebbene tramite test informali svolti in linguaggio naturale.
Le ambizioni dell'azienda vanno oltre la matematica. Harmonic ritiene che la MSI aiuterà gli utenti in tutti i campi che si basano sul ragionamento matematico, inclusi fisica, statistica e informatica. In futuro, l'azienda prevede di rilasciare un'API per l'accesso enterprise e un'applicazione web per i consumatori, con il potenziale di trasformare il modo in cui le industrie affrontano problemi che richiedono ragionamento quantitativo preciso.