Harmonic, стартап в области искусственного интеллекта, соучредителем которого является генеральный директор Robinhood Влад Тенев, в понедельник объявил о запуске бета-версии чат-бота для iOS и Android, с помощью которого пользователи могут получить доступ к модели искусственного интеллекта Aristotle.
Этим запуском компания стремится расширить доступ к Aristotle, который, как утверждает Harmonic, предлагает ответы «без галлюцинаций» на вопросы, связанные с математическими рассуждениями, — смелое заявление, учитывая проблемы с надежностью современных моделей искусственного интеллекта. Harmonic стремится разработать «математический суперинтеллект» (MSI), чтобы помогать людям в сферах, где важна математика. Это также касается физики, статистики и информатики.
«Aristotle — это первый доступный людям продукт, который выполняет логические операции и формально проверяет результат, — сказал генеральный директор и соучредитель Harmonic Тюдор Ахим в интервью TechCrunch. — В тех областях, которые поддерживает Aristotle, то есть в областях количественного анализа, мы действительно гарантируем отсутствие галлюцинаций».
В конечном счёте Harmonic заявляет, что также планирует выпустить API, который позволит предприятиям получать доступ к Aristotle, а также веб-приложение для пользователей.
По данным Harmonic, Aristotle получил золотую медаль на Международной математической олимпиаде (IMO) в 2025 году по результатам формального теста (то есть задачи были переведены в машиночитаемый формат). Google и OpenAI также разработали модели ИИ, которые получили золотые медали на IMO в этом году, но по результатам неформальных тестов, проведённых на естественном языке.
Компания Harmonic заявила, что в настоящее время не будет выпускать другие тесты для Aristotle.
Бета-версия Aristotle была запущена всего через несколько недель после того, как Harmonic привлекла 100 миллионов долларов в рамках раунда серии B под руководством Kleiner Perkins при оценке в 875 миллионов долларов. Ахим утверждает, что Harmonic «очень быстро продвигается» на пути к достижению MSI и что инвесторы считают такую оценку справедливой, учитывая масштаб амбиций его стартапа.
Несколько ведущих технологических компаний сосредоточились на обучении своих ИИ-моделей решению математических задач. ИИ, способный решать математические задачи, ценен сам по себе, но математика также считается уникальной областью, поддающейся проверке и требующей базовых навыков логического мышления. Системы, развивающие эти способности, могут оказаться полезными и в других областях.
Ахим говорит, что Harmonic добивается сверхточности решений благодаря тому, что Aristotle генерирует ответы на языке программирования с открытым исходным кодом Lean. Прежде чем Aristotle выдаст ответ пользователям, модель дважды проверяет правильность решения с помощью алгоритмического процесса, не связанного с искусственным интеллектом. Генеральный директор Harmonic отмечает, что аналогичная технология используется для проверки результатов в таких важных областях, как производство медицинского оборудования и авиация.
Даже в узкой области добиться того, чтобы модель ИИ не допускала ошибок, невероятно сложно. Исследования показали, что даже ведущие модели ИИ часто допускают ошибки, и ситуация, похоже, не улучшается. Последние модели ИИ от OpenAI допускают больше ошибок, чем предыдущие.
Делегируйте часть рутинных задач вместе с BotHub! Для доступа к сервису не требуется VPN и можно использовать российскую карту. По ссылке вы можете получить 100 000 бесплатных токенов для первых задач и приступить к работе с нейросетями прямо сейчас!
Перевод, источник новости здесь.
Источник: habr.com