Harmonic, een AI-startup mede opgericht door Robinhood-CEO Vlad Tenev, heeft de bètaversie uitgebracht van zijn iOS- en Android-chatbot-app met daarin Aristotle: een AI-model dat speciaal is ontworpen voor wiskundig redeneren zonder hallucinaties.
Het bedrijf, dat onlangs 100 miljoen dollar ophaalde in een Series B-investeringsronde en nu gewaardeerd wordt op 875 miljoen dollar, onderscheidt zich van gangbare AI-modellen door zich te richten op wiskundige superintelligentie (MSI). In tegenstelling tot conventionele grote taalmodellen die moeite hebben met complexe berekeningen, is Aristotle vanaf de basis opgebouwd om nauwkeurigheid in kwantitatieve domeinen te garanderen.
"Aristotle is het eerste product dat beschikbaar is voor mensen dat redeneert én de uitkomsten formeel verifieert," zegt Harmonic-CEO en medeoprichter Tudor Achim. "Binnen de domeinen die Aristotle ondersteunt, de kwantitatieve redeneervelden, garanderen we daadwerkelijk dat er geen hallucinaties zijn."
Het systeem bereikt deze opmerkelijke nauwkeurigheid via een tweestapsproces. Eerst vertaalt Aristotle wiskundige problemen in natuurlijke taal naar de open-source programmeertaal Lean 4, een proof assistant waarmee wiskundige definities en stellingen op correctheid kunnen worden gecontroleerd. Vervolgens worden de oplossingen, voordat ze aan gebruikers worden gepresenteerd, dubbel gecontroleerd via een algoritmisch verificatieproces dat geen AI gebruikt—vergelijkbaar met verificatiemethoden in kritieke sectoren zoals medische apparatuur en de luchtvaart.
Harmonic stelt dat Aristotle een gouden medaille heeft behaald op de Internationale Wiskunde Olympiade (IMO) 2025 door middel van formele testen, waarbij de opgaven naar een machineleesbaar formaat werden omgezet. Deze prestatie komt in een jaar waarin ook AI-modellen van Google DeepMind en OpenAI het goudenmedaille-niveau op de IMO bereikten, zij het via informele testen in natuurlijke taal.
De ambities van het bedrijf reiken verder dan alleen wiskunde. Harmonic gelooft dat MSI gebruikers zal helpen in alle vakgebieden die afhankelijk zijn van wiskundig redeneren, waaronder natuurkunde, statistiek en informatica. Uiteindelijk is het de bedoeling om een API voor zakelijke toegang en een webapplicatie voor consumenten uit te brengen, wat mogelijk de manier waarop sectoren omgaan met problemen die precieze kwantitatieve analyse vereisen, zal transformeren.