Harmonic запускает приложение с чат-ботом на основе ИИ

Harmonic, стартап в области искусственного интеллекта ^[1], соучредителем которого является генеральный директор Robinhood Влад Тенев, в понедельник объявил о запуске бета-версии чат-бота для iOS и Android, с помощью которого пользователи могут получить доступ к модели искусственного интеллекта Aristotle.

Этим запуском компания стремится расширить доступ к Aristotle, который, как утверждает Harmonic, предлагает ответы «без галлюцинаций» на вопросы, связанные с математическими рассуждениями, — смелое заявление, учитывая проблемы с надежностью современных моделей искусственного интеллекта. Harmonic стремится разработать «математический суперинтеллект» (MSI), чтобы помогать людям в сферах, где важна математика ^[2]. Это также касается физики, статистики и информатики.

«Aristotle — это первый доступный людям продукт, который выполняет логические операции и формально проверяет результат, — сказал генеральный директор и соучредитель Harmonic Тюдор Ахим в интервью TechCrunch. — В тех областях, которые поддерживает Aristotle, то есть в областях количественного анализа, мы действительно гарантируем отсутствие галлюцинаций».

В конечном счёте Harmonic заявляет, что также планирует выпустить API, который позволит предприятиям получать доступ к Aristotle, а также веб-приложение для пользователей.

По данным Harmonic, Aristotle получил золотую медаль на Международной математической олимпиаде (IMO) в 2025 году по результатам формального теста (то есть задачи были переведены в машиночитаемый формат). Google и OpenAI также разработали модели ИИ, которые получили золотые медали на IMO в этом году ^[3], но по результатам неформальных тестов, проведённых на естественном языке.

Компания Harmonic заявила, что в настоящее время не будет выпускать другие тесты для Aristotle.

Бета-версия Aristotle была запущена всего через несколько недель после того, как Harmonic привлекла 100 миллионов долларов в рамках раунда серии B под руководством Kleiner Perkins при оценке в 875 миллионов долларов. Ахим утверждает, что Harmonic «очень быстро продвигается» на пути к достижению MSI и что инвесторы считают такую оценку справедливой, учитывая масштаб амбиций его стартапа.

Несколько ведущих технологических компаний сосредоточились на обучении ^[4] своих ИИ-моделей решению математических задач. ИИ, способный решать математические задачи, ценен сам по себе, но математика также считается уникальной областью, поддающейся проверке и требующей базовых навыков логического мышления ^[5]. Системы, развивающие эти способности, могут оказаться полезными и в других областях.

Ахим говорит, что Harmonic добивается сверхточности решений благодаря тому, что Aristotle генерирует ответы на языке программирования с открытым исходным кодом Lean. Прежде чем Aristotle выдаст ответ пользователям, модель дважды проверяет правильность решения с помощью алгоритмического процесса, не связанного с искусственным интеллектом. Генеральный директор Harmonic отмечает, что аналогичная технология используется для проверки результатов в таких важных областях, как производство медицинского оборудования и авиация.

Даже в узкой области добиться того, чтобы модель ИИ не допускала ошибок, невероятно сложно. Исследования показали, что даже ведущие модели ИИ часто допускают ошибки ^[6], и ситуация, похоже, не улучшается. Последние модели ИИ от OpenAI допускают больше ошибок, чем предыдущие ^[7].

Делегируйте часть рутинных задач вместе с BotHub ^[8]! Для доступа к сервису не требуется VPN и можно использовать российскую карту. По ссылке ^[9] вы можете получить 100 000 бесплатных токенов для первых задач и приступить к работе с нейросетями прямо сейчас!

Перевод, источник новости здесь ^[10].