ИИ-модель успешно выступила на международной олимпиаде по математике для школьников

На этот раз речь о системе Aristotle, разработанной стартапом Harmonic, сооснователем которого стал Влад Тенев, известный по Robinhood.

Aristotle — это уникальная математическая ИИ-модель нового поколения. Главная цель её создателей — добиться так называемого «математического суперинтеллекта» (MSI): искусственного интеллекта, который способен не просто решать задачи уровня человека, а существенно превосходить лучших математиков мира. Такое амбициозное направление стало логичным продолжением карьеры Влада Тенева, который после успеха Robinhood переключился на развитие глубоких технологий вместе с Тюдором Ахимом, возглавившим Harmonic.

В 2025 году Aristotle добилась впечатляющего результата: модель выступила на уровне золотой медали Международной математической олимпиады. Это высшее достижение для участников — причём соревнование известно высочайшей сложностью заданий, ориентированных на творческое мышление, строгую логику и оригинальность подхода. Aristotle продемонстрировала способность решать олимпиадные задачи и строить полные формализованные решения — не в виде коротких числовых ответов, а с подробными математическими доказательствами

В чем отличие Aristotle от предыдущих ИИ? Разработчики Harmonic делали ставку на математическую верификацию: модель не просто предсказывает вероятное решение, а строит формальные доказательства, которые проходят автоматическую проверку на корректность. Именно такая система позволяет практически исключить «галлюцинации» — выдуманные ответы, распространённые у языковых ИИ. Благодаря этому подходу Aristotle называют первым «не галлюцинирующим» математическим ИИ-ассистентом.

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

Бурный интерес к проекту подтверждает инвестиционный успех Harmonic: летом 2025 года стартап привлёк $100 млн. при оценке почти $900 млн. Раунд возглавили ведущие венчурные компании, включая Kleiner Perkins, Paradigm, Sequoia Capital и Index Ventures. Сама модель уже доступна для тестирования в виде мобильного приложения и через API для исследовательских и образовательных целей.

Таким образом, Aristotle от Harmonic — один из ключевых шагов к эпохе математического суперинтеллекта. Успех модели на олимпиаде IMO показал: ИИ становится не просто «хорошим учеником», а потенциальным «генератором» новых знаний, способным менять всю научную и образовательную парадигму.