Стартап Harmonic, основанный соучредителем и CEO Robinhood Владом Теневым, представил бета-версию мобильного чат-бота для iOS и Android, который позволяет пользователям взаимодействовать с собственной моделью искусственного интеллекта под названием Aristotle.
Об этом сообщает ProIT
Особенности нового ИИ-ассистента Aristotle
Цель запуска заключается в расширении доступа к Aristotle, которого Harmonic позиционирует как инструмент для обеспечения «ответов без галлюцинаций» на вопросы, требующие математического мышления. Это смелое заявление, учитывая типичные проблемы с достоверностью современных моделей искусственного интеллекта. Команда Harmonic стремится создать так называемый уровень «математической надинтеллектуальности» (MSI) и планирует в будущем помогать пользователям во всех сферах, где математика имеет ключевое значение — от физики и статистики до компьютерных наук.
«[Aristotle] — это первый продукт, доступный людям, который выполняет рассуждения и формально проверяет результат,» сказал CEO Harmonic и соучредитель Тудор Аким в интервью. «В рамках тех областей, которые поддерживает Aristotle, а именно областей количественного мышления, мы действительно гарантируем, что нет галлюцинаций».
В перспективе Harmonic планирует предоставить доступ к Aristotle и через API для корпоративных клиентов, а также запустить веб-версию для обычных пользователей.
Достижения Aristotle и инвестиции Harmonic
Согласно сообщению Harmonic, Aristotle показал результат на уровне золотой медали на Международной математической олимпиаде 2025 года (IMO) в рамках формального теста: задание было переведено в формат, пригодный для машинного анализа. Для сравнения, Google и OpenAI также разработали модели, которые получили золото за неформальными тестами, проводимыми на естественном языке. Других открытых бенчмарков для Aristotle в настоящее время не представлено.
Выход Aristotle в публичную бету происходит всего через несколько недель после того, как Harmonic привлекла $100 млн в раунде Series B при оценке компании в $875 млн. CEO стартапа Тудор Аким отмечает, что Harmonic стремительно приближается к созданию математической надинтеллектуальности, а инвесторы считают текущую оценку справедливой с учетом масштабов амбиций компании.
Многочисленные ведущие технологические компании сейчас продолжают обучать свои ИИ-модели для решения математических задач. Математика считается уникальной и проверяемой областью, которая требует глубоких навыков рационального мышления; системы, способные развивать такие возможности, могут быть полезны и в других сферах.
По словам Акима, Aristotle достигает высокой точности благодаря тому, что формирует ответы на открытом языке программирования Lean. Перед тем, как предоставить результат пользователю, модель дополнительно проверяет решение специальным алгоритмическим методом, не связанным с ИИ. Подобные технологии уже используются в критически важных областях — например, в производстве медицинских устройств или авиации.
Достичь работы без галлюцинаций даже в узкой нише — сложная задача для любой ИИ-модели. Исследования показывают, что даже самые современные из них часто ошибаются, а проблема до сих пор не решена: новейшие модели OpenAI демонстрируют даже большее количество ошибочных ответов по сравнению со старыми версиями.