Стартап Harmonic, соучредителем которого является генеральный директор Robinhood Влад Тенев, объявил о запуске бета-версии чатбот-приложения для iOS и Android. В этом приложении пользователи получат доступ к собственной ИИ-модели компании под названием Aristotle. Harmonic заявляет, что Aristotle предоставляет ответы без «галлюцинаций» на вопросы, связанные с математическими расчетами, и может формально проверять свои результаты перед тем, как показать их пользователям.
For early access to Aristotle Beta, go to https://t.co/jTRutW6kJp
— Vlad Tenev (@vladtenev) July 29, 2025
Rollout begins now! https://t.co/JYJZek3c94
Модель Aristotle создана для решения задач по математике, физике, статистике и информатике. Она получила «золотую медаль» на Международной математической олимпиаде 2025 года во время официального тестирования, где задачи были переведены в формат, понятный для машин. До этого подобных результатов достигали только модели от Google и OpenAI, но они проходили неформальные тесты на естественном языке.
По словам руководителя Harmonic Тудора Ачима, модель работает в открытой программной среде Lean и проверяет свои ответы с помощью алгоритма, который не использует ИИ. Такой подход уже применяется в сферах, где требуется высокая точность, например в медицине и авиации. Компания планирует также выпустить API для корпоративных клиентов и веб-приложение для обычных пользователей.
Бета-версия Aristotle стала доступной через несколько недель после того, как Harmonic привлекла 100 миллионов долларов в рамках раунда финансирования под руководством Kleiner Perkins, оценив стартап в 875 миллионов долларов. Harmonic стремится предоставить пользователям инструмент для точного решения задач, где требуются математические вычисления и формальная проверка решений.
