Стартап Harmonic запустил ИИ Aristotle для решения математических задач

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

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

Уникальные возможности модели были подтверждены золотой медалью, полученной на Международной математической олимпиаде 2025 года в рамках машинного тестирования.