🏅 Ещё одна золотая медаль для ИИ на Международной математической олимпиаде (IMO)!

Стартап Harmonic запустил чат‑бота Aristotle — ИИ, который получил золото на IMO‑2025, решая задачи в формализованном виде.

📱 Aristotle уже доступен в приложении (iOS и Android). Он не просто решает задачи — он гарантирует отсутствие галлюцинаций в своих ответах, потому что все решения формально проверяются.

🧠 Фокус модели — на задачах количественного мышления (математика, логика и т.д.)

💰 Harmonic недавно привлек $100M инвестиций и уже оценён в $875M. Их цель — создать математический суперинтеллект.

И да, основатель Harmonic — это CEO Robinhood Влад Тенев.

🔥 Прямо сейчас это, возможно, самый надёжный ИИ для точных наук.