«Это невероятно»: как ИИ трансформирует математику

Англичанин без высшего образования, Лиам Прайс, решил одну из знаменитых задач Эрдёша — номер 1196 — с помощью ChatGPT. Это не чудовищный расчет, а решение, которое поразило даже экспертов, потому что ChatGPT нашел новый путь, выходящий за рамки человеческого мышления. Тезис здесь заключается в том, что искусственный интеллект уже меняет математику, не только ускоряя вычисления, но и приходя к интуитивным решениям, которых не видели даже математики. До сих пор считалось, что ИИ может только переставлять известные методы, но теперь сюрприз заключается в том, что он начинает генерировать действительно оригинальные идеи и связывать разные области с интуицией, которая кажется почти «мышлением». Возьмем, к примеру, Джареда Дюкера Лихтмана, математика из Стэнфорда: он сказал, что это похоже на то, что ИИ нашел новый ход в шахматах, такой, который ни один человек никогда не мог бы придумать, потому что его сковывают условности и эстетический вкус. История Лиама Прайса идеальна: из своего дома в Англии вместе с Кевином Баррето, студентом Кембриджа, он получает от ChatGPT решение, которое не основано на вероятности — классическом подходе, — а остается в рамках исходной формулировки задачи, но при этом соединяет числа и вероятности беспрецедентным образом. Теренс Тао, один из самых блестящих современных математиков, говорит, что год назад этот прорыв был немыслим: тогда считалось, что лингвистические модели никогда не выйдут за рамки того, что они «прочитали» в книгах. Но теперь мы видим что-то совершенно новое, настолько, что Себастьян Бубек из OpenAI называет это «невероятным». Есть и те, кто сбавляет обороты: Дэниел Литт из Университета Торонто говорит, что результаты все еще скромны, но предупреждает, что скептицизм неуместен — настоящая загадка заключается в том, почему ИИ с его сверхчеловеческими знаниями и неиссякаемой выносливостью еще не сделал революционных открытий. Возможно, говорит Литт, мы не понимаем, что на самом деле представляет собой человеческий «секретный прием» в математике, то творчество, которое никто не может объяснить. Еще один факт: современные модели могут создавать доказательства на 3–4 страницы, модели Google стремятся к 10, но для достижения 100 потребуется время. Между тем, Лорен Уильямс из Гарварда бьет тревогу: больше ИИ означает больше «slop», то есть доказательств, которые кажутся идеальными, но полны ошибок, и ни у кого нет времени, чтобы проверить их все. Не хватает человеческого труда: на протяжении веков математика была упражнением в выносливости и умственном одиночестве. Если ИИ устранит усилие, останется удивление, но, возможно, также будет потеряна часть того, что делает математика действительно математиком. Фраза, которая резюмирует все: ИИ не только решает задачи, но и меняет правила игры в математике. Если ты считаешь, что эта история касается тебя, на Lara Notes ты можешь нажать I'm In — это твой способ сказать: теперь эта идея твоя. А если завтра ты расскажешь кому-то, что парень без высшего образования использовал ChatGPT, чтобы решить задачу Эрдёша, ты можешь отметить это в Lara Notes: Shared Offline — это способ сказать, что этот разговор имел значение. Это было из Nature, и это сэкономит тебе 2 минуты.