Robinhoodin toimitusjohtajan Vlad Tenevin perustama tekoäly-startup Harmonic on julkaissut beta-version iOS- ja Android-chatbottisovelluksestaan, jonka ytimessä toimii Aristoteles—AI-malli, joka on suunniteltu erityisesti matemaattiseen päättelyyn ilman hallusinaatioita.
Yhtiö, joka keräsi hiljattain 100 miljoonan dollarin B-rahoituskierroksen 875 miljoonan dollarin arvostuksella, erottautuu valtavirrasta keskittymällä matemaattiseen superälyyn (MSI). Toisin kuin perinteiset suuret kielimallit, jotka kompastelevat monimutkaisissa laskutoimituksissa, Aristoteles on rakennettu alusta asti takaamaan tarkkuus määrällisissä ongelmissa.
"Aristoteles on ensimmäinen tuote, joka tekee päättelyä ja todentaa vastaukset muodollisesti", sanoo Harmonicin toimitusjohtaja ja toinen perustaja Tudor Achim. "Niillä osa-alueilla, joita Aristoteles tukee—eli määrällisen päättelyn alueilla—voimme oikeasti taata, ettei hallusinaatioita synny."
Järjestelmä saavuttaa poikkeuksellisen tarkkuutensa kaksivaiheisella prosessilla. Ensin Aristoteles kääntää luonnollisella kielellä esitetyt matemaattiset ongelmat avoimen lähdekoodin Lean 4 -ohjelmointikielelle, joka toimii todistusavustajana ja mahdollistaa matemaattisten määritelmien ja lauseiden oikeellisuuden tarkistamisen. Tämän jälkeen malli tarkistaa ratkaisun algoritmisella varmennusprosessilla, jossa ei käytetä tekoälyä—menetelmä muistuttaa esimerkiksi lääketieteellisten laitteiden ja ilmailun korkean riskin sovelluksissa käytettyjä varmennustapoja.
Harmonicin mukaan Aristoteles saavutti kultamitalitason suorituksen vuoden 2025 kansainvälisessä matematiikkaolympialaisessa (IMO) muodollisissa testeissä, joissa ongelmat muunnettiin koneen luettavaan muotoon. Tämä saavutus osuu samaan vuoteen, jolloin myös Google DeepMindin ja OpenAI:n AI-mallit ylsivät IMO:ssa kultamitalitasolle, tosin epävirallisissa, luonnollisella kielellä suoritetuissa kokeissa.
Yhtiön tavoitteet ulottuvat matematiikkaa pidemmälle. Harmonic uskoo, että MSI auttaa käyttäjiä kaikilla aloilla, joissa tarvitaan matemaattista päättelyä, kuten fysiikassa, tilastotieteessä ja tietojenkäsittelytieteessä. Tulevaisuudessa yhtiö aikoo julkaista API-rajapinnan yrityskäyttöön sekä verkkosovelluksen kuluttajille, mikä voi mullistaa sen, miten eri toimialat lähestyvät tarkkaa määrällistä päättelyä vaativia ongelmia.