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