Nieuwe AI-chatbot van Harmonic moet wiskundige fouten voorkomen

Kunstmatige intelligentie is niet meer weg te denken uit ons dagelijks leven. Van het voorspellen van het weer tot het automatisch vertalen van teksten: AI helpt steeds vaker mee. Toch is er één probleem waar veel slimme systemen mee worstelen: rekenen. Veel AI-chatbots geven foute antwoorden op wiskundige vragen. Een nieuw bedrijf genaamd Harmonic wil dat veranderen met een app die speciaal is gemaakt voor rekenen en logica.

Harmonic is een nieuwe start-up die is opgericht door Vlad Tenev, bekend als directeur van Robinhood, samen met CEO Tudor Achim. Het bedrijf richt zich volledig op het bouwen van AI die betrouwbaar kan rekenen. Deze AI moet beter zijn in rekenen dan de meeste taalmodellen die nu op de markt zijn.

De app, beschikbaar in bèta op iOS en Android, heet Aristotle. De makers beloven dat het systeem geen verkeerde antwoorden (ook wel ‘hallucinaties’ genoemd) geeft bij wiskundige vragen. Volgens TechCrunch verifieert Aristotle de antwoorden met behulp van het open-source programmeertaal Lean. Het is de bedoeling dat deze oplossing werkt voor wiskundige opgaven in domeinen als natuurkunde, statistiek en computerwetenschap.

Aristotle behaalde onlangs een gouden medaille op de International Mathematical Olympiad (IMO). De AI werd getest via een formele, machineleesbare test waarbij elke opgave via Lean wordt geverifieerd.

Harmonic haalde onlangs $100 miljoen op in een Series B-financieringsronde, geleid door investeerder Kleiner Perkins. Daarmee waardeert het bedrijf op $875 miljoen. Volgens CEO Achim steekt dit bedrag juist in de ambitie om uit te groeien naar wat zij ‘mathematical superintelligence’ noemen. Het bedrijf wil later ook een API en webversie van Aristotle aanbieden voor bedrijven en consumenten.

Aristotle werkt dus als een AI-bank zonder zogenaamde ‘hallucinaties’ bij wiskundige vragen. Aristotle is nog in de testfase, maar volgens Harmonic is deze app de eerste stap naar een toekomst waarin AI écht betrouwbaar is in wiskundige en analytische taken.