Matematikai szuperintelligencia a zsebben
A Harmonic célja egy matematikai szuperintelligencia (MSI) létrehozása, amely később bármilyen matematikára épülő területen – a fizikától a statisztikán át az informatika világáig – segítheti a felhasználókat. Az Arisztotelész elsőként kínál olyan megoldást, amely nemcsak levezeti a választ, hanem egy algoritmikus ellenőrzési folyamatban, MI használata nélkül hivatalosan is igazolja annak helyességét. Ezt a technológiát már most is alkalmazzák élet-halál fontosságú iparágakban, például az orvostechnikában vagy a repülésben. A megoldás a Lean nyílt forráskódú programozási nyelvet használja.
Nem csak matematikusoknak, mindenkinek
Az alkalmazás jelenleg béta fázisban érhető el. A közeljövőben a Harmonic tervezi az Arisztotelész integrációját API-n keresztül cégek számára, illetve webes alkalmazásként is elérhetővé teszi majd. Az MI-megoldás aranyérmes teljesítményt ért el a 2025-ös Nemzetközi Matematikai Olimpia (International Math Olympiad) feladataival, amelyeket géppel olvasható formában teszteltek. Hasonló fejlesztéseken a Google és az OpenAI is dolgozik, de ők csak informális, természetes nyelvi teszteket használnak.
Pénz, ambíció, fejlődés
A Harmonic röviddel a chatbot elindítása előtt 37 milliárd forintnyi (100 millió dollár) tőkét vont be, a cég értékét pedig 324 milliárd forintra (875 millió dollár) becsülték. A vállalat villámgyors fejlődést ígér a matematikai szuperintelligencia felé. Matematikai MI-re komoly szükség lehet, hiszen a matematika az egyik leghitelesebben ellenőrizhető tudományos terület, a most születő fejlesztések pedig más tudományágakban is forradalmat hozhatnak.
