#IMO

И исследования ·26 июл 2026

Математическая олимпиада показала: даже лучшие AI-модели буксуют без «костылей»

Исследователи протестировали разные LLM на задачах Международной математической олимпиады IMO-2026. Топовые модели (o1 и Claude 3.5) справились отлично, но «средний класс» вроде Opus и Sonnet показал слабый результат без специальных надстроек-оркестраторов. Даже с мультиагентными системами они не дотянули до фронтира. Главный вывод: сложная многошаговая логика — всё ещё слабое место для моделей ниже флагманского уровня.

0 131
И исследования ·25 июн 2026

Что значит быть математиком, когда уравнения решает ИИ

ИИ-системы от DeepMind и OpenAI теперь решают олимпиадные задачи на уровне золотых медалистов, доказывают теоремы и даже опровергают гипотезы, достойные публикации в топовых журналах. Это ставит вопрос: останется ли место для человека в математике, если главная радость — долгий путь к пониманию — станет ненужным?

0 91