Русский
ИИ в математике: от школьных задач до олимпиад и задач Эрдёша
Что происходит с ИИ?
С одной стороны ИИ продолжает захватывать все области. В том числе и математику:
Главные достижения ИИ в математике за последние годы
- ИИ уже решает задачи школьной математики, даже текстовые
- В 2025 году сразу два ИИ — Gemini и OpenAI — достигли уровня золотой медали на Международной олимпиаде по математике, решив 5 из 6 задач
- С октября 2025 года ИИ помог закрыть более 100 задач из списка Эрдёша, из них несколько, включая задачу #728, автономно. Недавно OpenAI сделал прорыв в 80-летней задаче Эрдёша о разностных множествах
- Стартапы, строящие «ИИ-математиков», поднимают десятки миллионов: Harmonic (основан CEO Robinhood Влад Тенев) привлёк $100 млн в июле 2025 и оценивается в $1,45 млрд; Axiom Math поднял $64 млн на seed-раунде
- Теренс Тао — самый известный математик современности — активно использует ИИ в работе. C помощью AlphaEvolve доказал 21 новый математический результат ещё к концу 2025 года.
Теренс Тао об ИИ в математике: осторожный оптимизм
Но с другой стороны, тот же Теренс Тао на вопрос о том, когда ИИ решит нерешенную задачу тысячелетия или выдаст хотя бы какой-нибудь значимый результат, уходит от явного ответа.
Да, он ожидает появления ИИ как реального соавтора в исследованиях. Но, по его словам, даже если ИИ сформулирует хотя бы одну значимую нетривиальную гипотезу в течении 5-10 лет, это уже будет большим прогрессом.
Почему ИИ ещё далёк от настоящей математики
ИИ силён в широте знаний, но глубина все еще у людей. Текущая система исследований в математике основана как раз на глубине и специализации. В ней нужны прорывные идеи, а не просто перебор.
Вот такой парадокс. ИИ становится все умнее в математике, но все еще далек от по-настоящему сложной математики и гениальных идей.
Есть области, где ИИ работает плохо из-за «человеческого фактора», где важны отношения между людьми, а не просто сухие факты (то есть почти везде, вот почему ИИ плохой СЕО или менеджер сейчас, но хороший помощник для обоих).
Но в математике люди за столетия зашли в науку настолько далеко, что даже умнейшие ИИ не могут подобраться к границе знаний и прорывным идеям. Пока что.
Подкасты Теренса Тао
Вот интересные подкасты Теренса Тао: