Harmonic, AI стартъп, съоснован от главния изпълнителен директор на Robinhood Влад Тенев, пусна бета версията на своето iOS и Android чатбот приложение с Aristotle – AI модел, създаден специално за математически разсъждения без халюцинации.
Компанията, която наскоро набра 100 милиона долара във финансиране от серия B при оценка от 875 милиона долара, се отличава от масовите AI модели с фокус върху математическата свръхинтелигентност (MSI). За разлика от конвенционалните големи езикови модели, които се затрудняват с комплексни изчисления, Aristotle е изграден от основи с цел гарантиране на точност в количествените домейни.
„Aristotle е първият продукт, достъпен за хората, който извършва разсъждения и формално верифицира изхода си“, казва изпълнителният директор и съосновател на Harmonic Тудор Аким. „В рамките на домейните, които Aristotle поддържа, а именно количествените разсъждения, ние наистина гарантираме, че няма халюцинации.“
Системата постига тази забележителна точност чрез двустъпков процес. Първо, Aristotle превежда математическите задачи от естествен език в Lean 4 – отворен програмен език и помощник за доказателства, който позволява математическите дефиниции и теореми да бъдат проверени за коректност. След това, преди да предостави отговори на потребителите, моделът двойно проверява решенията чрез алгоритмичен процес на верификация, който не включва AI – подобно на методите за проверка, използвани в критични области като медицински устройства и авиация.
Harmonic твърди, че Aristotle е постигнал златен медал на Международната олимпиада по математика 2025 чрез формално тестване, при което задачите са били преведени в машинно-четим формат. Това постижение идва през година, в която AI модели на Google DeepMind и OpenAI също достигнаха златен медал на олимпиадата, макар и чрез неформални тестове на естествен език.
Амбициите на компанията се простират отвъд математиката. Harmonic вярва, че MSI ще помага на потребителите във всички области, разчитащи на математическо мислене, включително физика, статистика и компютърни науки. В бъдеще компанията планира да пусне API за корпоративен достъп и уеб приложение за крайни потребители, което потенциално може да промени начина, по който индустриите решават задачи, изискващи прецизни количествени разсъждения.