Стартап Harmonic, основанный генеральным директором Robinhood Владом Теневым, объявил о бета-запуске приложения с ИИ-чатботом для iOS и Android, предоставляющего доступ к их модели искусственного интеллекта по имени Аристотель.
Компания ставит перед собой цель расширить доступ к Аристотелю, который, по их утверждениям, способен давать ответы без «галлюцинаций» при решении задач, связанных с математическим рассуждением. Harmonic сосредоточен на создании «математического суперинтеллекта» (MSI), который в будущем поможет пользователям в различных областях, где необходима математика, включая физику, статистику и информатику.
Генеральный директор и соучредитель Harmonic Тудор Ачим подчеркнул, что Аристотель — первый продукт, который выполняет рассуждения и формально проверяет результаты, гарантируя отсутствие ошибок в поддерживаемых областях количественного анализа.
В перспективе компания планирует выпустить API для корпоративных клиентов и веб-приложение для широкой аудитории.
Запуск бета-версии состоялся спустя несколько недель после того, как Harmonic привлек 100 миллионов долларов в раунде финансирования серии B с оценкой в 875 миллионов долларов. По словам Ачима, стартап быстро продвигается к достижению своих амбициозных целей в области MSI.
Harmonic достигает высокой точности решений, заставляя Аристотеля генерировать ответы на языке программирования Lean с последующей проверкой правильности решения алгоритмическими методами, не связанными с ИИ. Аналогичные технологии применяются в ответственных сферах, таких как медицинские приборы и авиация.
Достижение полной надежности ИИ без ошибок — сложная задача, учитывая, что даже ведущие модели часто допускают ошибки. Тем не менее, Harmonic уверенно идет по пути создания надежного инструмента для точных математических вычислений.
Примечательно, что Аристотель достиг золотой медали на Международной математической олимпиаде 2025 года благодаря формальному тестированию задач, тогда как другие крупные компании применяли неформальные тесты на естественном языке.
