Почему ИИ считает быстро, но не творит: мнение ведущих математиков

Введение: ИИ в математике - быстрые вычисления без творчества

Большие языковые модели отлично комбинируют известные методы и выполняют быстрые вычисления. Но создать принципиально новую математическую идею они не могут. Так считают ведущие математики Тимоти Гауэрс и Питер Сарнак. Их позиция важна для всех, кто пытается понять реальные границы возможностей искусственного интеллекта.

ИИ уже решает задачи, над которыми люди бились десятилетиями. Он помогает проверять доказательства, искать контрпримеры и ускорять рутинные расчеты. Однако интуиция, которая позволяет математику увидеть глубокую связь между разными областями и выбрать перспективное направление, остается за человеком. Креативность в математике не сводится к перебору вариантов, даже очень быстрому.

Эта статья разбирает, где ИИ действительно полезен в математике, почему он не может творить и как использовать его с учетом этих ограничений. Мы опираемся на наблюдения Гауэрса и Сарнака, а также на практические примеры из недавних исследований.

Кто такие Тимоти Гауэрс и Питер Сарнак?

Тимоти Гауэрс - британский математик, лауреат Филдсовской премии 1998 года. Эту награду часто называют аналогом Нобелевской премии для математиков. Гауэрс известен работами в функциональном анализе и комбинаторике. Он активно интересуется применением ИИ в математике и открыто делится опытом использования больших языковых моделей в своей работе.

Питер Сарнак - профессор Принстонского университета и Института перспективных исследований. Его область - теория чисел и анализ. Сарнак также следит за развитием ИИ и оценивает его влияние на математическое сообщество. Оба математика имеют высокий авторитет в академической среде, поэтому их мнение о пределах ИИ заслуживает внимания.

Гауэрс ранее сообщал, что модель GPT-5.6 Pro решила две задачи, над которыми он сам долго работал, с первой попытки. Это показывает, что ИИ способен находить решения в рамках известных подходов. Но, по его же словам, это не то же самое, что создание новой математической концепции. Подробнее об этом случае можно прочитать в разборе прорывов ИИ в математике.

Что ИИ действительно умеет в математике

ИИ показывает впечатляющие результаты в задачах, где требуется скорость, объем памяти и точное следование правилам. Эти сильные стороны делают его ценным инструментом для математиков, но не заменой им.

Быстрые вычисления и обработка данных

Большие языковые модели мгновенно выполняют символьные вычисления, перебирают варианты и обрабатывают огромные массивы данных. Человеку на это нужны часы или дни. ИИ не устает и не делает ошибок из-за невнимательности при рутинных операциях.

Например, ИИ-агенты для программирования ускоряют научное программное обеспечение до 60 раз. Это показал совместный отчет OpenAI и академических партнеров. Агенты успешно модернизируют устаревший код, который тормозил исследования. Но при этом они часто выдают уверенно неверные результаты, что требует проверки человеком. Детали этого отчета разобраны в материале об ускорении науки с помощью ИИ.

Комбинирование известных методов

ИИ находит закономерности в существующих данных и собирает решения из известных кусочков. Он может применить теорему, которую уже знает, к новой задаче. Он может скомбинировать два метода, которые раньше не использовались вместе. Но он не выходит за рамки того, что уже содержится в его обучающих данных.

Гауэрс отмечает, что ИИ хорошо справляется с задачами, где нужно найти правильную комбинацию известных техник. Это полезно для проверки гипотез и поиска контрпримеров. Но это не создание нового знания. ИИ работает как очень мощный калькулятор с доступом к огромной библиотеке математических результатов.

OpenAI заявляет о десяти математических прорывах модели Astra: первый пример не-софической группы, улучшение упаковки сфер, использование системы Lean для строгих доказательств. Эти результаты впечатляют, но все они построены на комбинировании существующих методов. Подробнее об этих прорывах читайте в анализе достижений Astra.

Где ИИ терпит неудачу: отсутствие интуиции и креативности

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

Что такое математическая интуиция?

Математическая интуиция - это способность видеть глубокие связи между разными областями и выбирать перспективные направления без полного перебора. Математик может почувствовать, что некая теорема из алгебры поможет решить задачу из геометрии, хотя на первый взгляд они не связаны. Это чувство основано на опыте, понимании смысла и эстетическом чутье.

Интуиция позволяет ставить правильные вопросы. Часто главная трудность в математике - не найти ответ, а сформулировать задачу. ИИ отвечает на вопросы, но не умеет их задавать. Он не может решить, какая проблема важна и почему.

Почему ИИ не может творить: мнение математиков

Гауэрс и Сарнак сходятся в том, что ИИ работает в рамках заданных данных. Он не обладает пониманием смысла математических объектов. Он манипулирует символами по правилам, но не видит за ними структуру. Поэтому он не может предложить новую концепцию, которая изменит взгляд на целую область.

Сарнак подчеркивает, что математическое творчество требует выхода за пределы известного. Это не просто новая комбинация старых элементов, а создание нового языка описания. ИИ не способен на такой скачок, потому что его обучение основано на воспроизведении паттернов из прошлого.

Эксперимент с ИИ-агентами на конференции NeurIPS 2026 подтверждает это ограничение. Агентам дали шесть дней, три тысячи долларов и вычислительные мощности для самостоятельного исследования. Все статьи получили оценку Reject или Strong Reject. ИИ не хватило трех навыков: формулировать значимую гипотезу, оценивать новизну результата и выстраивать целостную научную аргументацию. Разбор эксперимента читайте в статье о пределах ИИ в науке.

Практические выводы: как использовать ИИ в математике и науке

ИИ - это инструмент для ускорения рутинных задач. Он не заменяет математика, но может сделать его работу быстрее и точнее.

ИИ как помощник, а не замена

Практичные способы применения ИИ в математике:

• Проверка доказательств на формальную корректность
• Поиск контрпримеров к гипотезам
• Генерация вычислительных данных для проверки интуитивных догадок
• Перевод математических текстов между разными формализмами
• Ускорение написания кода для численных экспериментов

Математик может использовать ИИ для проверки гипотезы, которую сформулировал сам. ИИ быстро найдет контрпример, если он существует. Это сэкономит недели работы. Но саму гипотезу должен предложить человек, опираясь на интуицию и понимание предмета.

Гауэрс использует ИИ именно так: как ассистента для проверки идей и рутинных вычислений. Он не ждет от модели новых концепций, но ценит ее скорость в задачах, которые можно формализовать.

Будущее: сможет ли ИИ обрести креативность?

Пока нет оснований считать, что ИИ обретет математическую интуицию в ближайшее время. Современные модели обучаются на существующих данных и воспроизводят паттерны из них. Они не имеют собственного опыта взаимодействия с математическими объектами.

Некоторые исследователи предполагают, что новые архитектуры могут изменить ситуацию. Например, модели, которые учатся через взаимодействие с формальными системами, а не только через тексты. Но это пока гипотезы. Гауэрс и Сарнак осторожны в прогнозах. Они не исключают прогресса, но не видят механизма, который дал бы ИИ подлинное понимание.

Человеческий фактор остается решающим. Математик ставит цели, выбирает направления и оценивает красоту результата. ИИ выполняет вычисления. Это разделение труда, вероятно, сохранится надолго.

Заключение: креативность остается человеческой

ИИ силен в вычислениях и комбинировании известных методов. Он ускоряет рутинные задачи и помогает проверять гипотезы. Но создание принципиально новых математических идей остается за человеком. Интуиция, понимание смысла и способность ставить новые вопросы - это то, чего нет у больших языковых моделей.

Используйте ИИ с умом: как помощника для вычислений и проверки, но не как источник творческих прорывов. Креативность в математике - уникальная человеческая способность, и пока ничто не указывает на то, что это изменится.

Есть вопрос или заметили неточность? Напишите нам - мы ценим диалог и готовы исправить ошибку.