Ещё одна ИИ-модель получила 🥇на международной олимпиаде по математике для школьников (IMO)
ИИ-модель для математики Aristotle от Harmonic - стартап со-основателя Robinhood Влада Тенева.
Вчера команда представила бета-версию своего чат-бота Aristotle, ориентированного на математическое мышление.
Компания хочет создать математический супер интеллект (MSI). Aristotle позиционируется как ИИ, способный предоставлять ответы без галлюцинаций в количественных дисциплинах, таких как математика, физика, статистика и компьютерные науки.
Основные особенности Aristotle:
1. В отличие от ChatGPT или Gemini, которые могут галлюцинировать, Aristotle использует формальную верификацию. Это достигается с помощью языка программирования Lean 4, который позволяет переводить математические задачи из естественного языка в машинно-читаемые доказательства.
2. Перед выдачей ответа Aristotle проверяет корректность решения с помощью алгоритмического процесса, не зависящего от ИИ, что схоже с методами, используемыми в высоконагруженных отраслях, таких как авиация и медицина. Это обеспечивает отсутствие ошибок в расчетах и повышает доверие к результатам.
Harmonic объявила, что Aristotle достиг золотого уровня на Международной математической олимпиаде 2025 года (IMO).
В отличие от моделей Google и OpenAI, которые также показали высокие результаты, Aristotle использовал формальные машинно-читаемые тесты, что подчеркивает его уникальный подход к верификации.
Модель использует синтетические данные и самообучение, что позволяет ей генерировать собственные задачи и доказательства, обходя ограничения, связанные с нехваткой данных, характерные для других ИИ.
ИИ-модель для математики Aristotle от Harmonic - стартап со-основателя Robinhood Влада Тенева.
Вчера команда представила бета-версию своего чат-бота Aristotle, ориентированного на математическое мышление.
Компания хочет создать математический супер интеллект (MSI). Aristotle позиционируется как ИИ, способный предоставлять ответы без галлюцинаций в количественных дисциплинах, таких как математика, физика, статистика и компьютерные науки.
Основные особенности Aristotle:
1. В отличие от ChatGPT или Gemini, которые могут галлюцинировать, Aristotle использует формальную верификацию. Это достигается с помощью языка программирования Lean 4, который позволяет переводить математические задачи из естественного языка в машинно-читаемые доказательства.
2. Перед выдачей ответа Aristotle проверяет корректность решения с помощью алгоритмического процесса, не зависящего от ИИ, что схоже с методами, используемыми в высоконагруженных отраслях, таких как авиация и медицина. Это обеспечивает отсутствие ошибок в расчетах и повышает доверие к результатам.
Harmonic объявила, что Aristotle достиг золотого уровня на Международной математической олимпиаде 2025 года (IMO).
В отличие от моделей Google и OpenAI, которые также показали высокие результаты, Aristotle использовал формальные машинно-читаемые тесты, что подчеркивает его уникальный подход к верификации.
Модель использует синтетические данные и самообучение, что позволяет ей генерировать собственные задачи и доказательства, обходя ограничения, связанные с нехваткой данных, характерные для других ИИ.