Как ИИ перевернет математику

С одной стороны, алгоритмы находят закономерности в теории узлов, над которыми седовласые профессора бились десятилетиями. С другой — та же самая модель может на полном серьезе доказывать вам, что 9.11 больше, чем 9.9.

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

Как ИИ уже доказывает теоремы (и почему это похоже на магию)

Долгое время считалось, что высшая математика — это последний бастион человеческого креатива. Сгенерировать картинку капибары на Марсе? Легко. А вот придумать изящное доказательство... тут нужна интуиция. Озарение. Искра! Или хотя бы три кружки крепкого эспрессо и диплом мехмата.

А потом Google выкатывает AlphaGeometry.

Эта штука не просто перебирает готовые шаблоны из базы данных. Она решает геометрические задачи уровня Международной математической олимпиады почти как человек-чемпион. Помните те самые бесячие задачи, где нужно было догадаться провести «вспомогательную линию», чтобы всё сошлось? Нам всегда говорили: «Это нужно просто увидеть».

Так вот, ИИ научился «видеть».

Как это работает на пальцах? Они скрестили ужа с ежом. Нейросеть (творческая часть) генерирует миллионы безумных идей вроде «а что, если провести биссектрису вот здесь?». А строгий символьный движок (логическая часть) работает как суровый проверяющий, отсеивая откровенный бред и проверяя гипотезы по железным законам логики.

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

Но значит ли это, что настоящим математикам пора собирать вещи и идти в баристы? Спойлер: нет.

Сможет ли нейросеть заменить математиков-гениев?

Давайте начистоту. Математика — это не про умение быстро считать. Это искусство задавать правильные вопросы.

Нейросеть не проснется в холодном поту в три часа ночи с криком: «Эврика! А что, если Вселенная имеет 11 измерений?!». Машина отвечает на запросы, но она не испытывает любопытства. Ей плевать на красоту фракталов.

Будущее точных наук выглядит не как восстание терминаторов с циркулями. Оно выглядит как кентавр.

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

Битва титанов: Человек-математик vs ИИ-математик

Критерий	Человек (Кожаный мешок)	Нейросеть (Кремниевый мозг)
Скорость работы	Зависит от количества выпитого кофе и близости дедлайна.	Быстрее, чем вы моргнете. И без перекуров.
Креативность	Может придумать новую теорию, глядя на пятно на потолке.	Генерирует идеи на основе того, что уже было загружено в ее базу.
Топливо	Эспрессо, тревожность, чувство собственной гениальности.	Мегаватты электричества и очень дорогие видеокарты.
Проверка: 9.11 > 9.9?	Смеется вам в лицо и крутит пальцем у виска.	Пишет эссе на три страницы, доказывая, что 11 больше 9, поэтому 9.11 побеждает.

Что делать студентам физмата прямо сейчас?

Расслабьтесь, забирать документы из деканата не нужно.

Но и сидеть сложа руки — плохая идея. Если вы просто учитесь считать интегралы в уме, у меня для вас плохие новости: калькулятор делает это лучше уже лет пятьдесят. Ваша задача — эволюционировать.

• Учитесь формулировать запросы (Prompt Engineering). Умение правильно «попросить» ИИ решить задачу скоро станет важнее, чем умение решать ее самому.
• Качайте абстрактное мышление. Ищите связи там, где машина их не видит. Междисциплинарный подход — ваша броня.
• Не верьте ИИ на слово. Тренируйте критическое мышление. Как мы выяснили выше, наш гиперактивный стажер обожает галлюцинировать.

Резюме: кто кого?

Мы стоим на пороге самой веселой эпохи в истории науки.

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

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

А теперь вопрос на засыпку: как думаете, когда нейросеть получит свою первую Филдсовскую премию, на что она потратит призовые деньги? Жду ваши безумные теории в комментариях!