Конец математики?

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

Среди прочих есть и несколько проблем, относящихся к моей науке. В частности, решили проблему Капланского — о том, что групповое кольцо не имеет делителей нуля. Есть и несколько других важных проблем, в частности про группу Томпсона. Но это детали.

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

Иными словами, такой (условно) олимпиадный подход к математике — как к решению сложных, многосоставных головоломок — больше не актуален. То же самое случилось с людьми, умевшими лихо вычислять, после появления математического софта типа Sage и Wolfram. То же случилось с людьми, обладавшими сверхъестественной планиметрической интуицией, после появления GeoGebra.

Точно так же пропали люди, которые умели долго и много ходить, — появились машины. Пропали куда-то люди, которые умели стрелять из лука, пользоваться астролябией, и так далее. Многие вещи, которые относятся к скиллам математика, скажем так, XX века, имеют такое же отношение к скиллам математика современного, как фехтование к боевому делу.

Это плохо? Это так. Отныне роль человека математического стала совсем другой. Сформулировать её чётко сейчас ещё трудно. Но понятно, что это человек, который обязан обладать скиллами в области искусственного интеллекта, должен уметь сопоставлять разные разделы математики, должен заниматься исследованием не узких вопросов, а широких. И очень хорошо понимать чем (и зачем) он интересуется.

Когда Гёдель доказал свою великую теорему, многие считали, что математика закончилась, потому что отныне нельзя быть уверенным в том, что ты сможешь что-то доказать. Сейчас же трясёт от обратного: многим кажется, что математика закончилась, потому что теперь всё что угодно можно доказать при помощи машин, только промпт напиши.

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