Вайб-математика и аппаратчики

Эпоха искусственного интеллекта заостряет разделение математики на несколько частей.

Главная и подавляюще распространённая (как по числу математиков, так и по объёму содержания или числу открытий) математика это, назовём так, "вайб-математика" – интуитивная ("неформальная") математика.

Когда лектор пишет что-то на доске, размахивая руками – это вайб-математика. Когда студент решает в тетрадке задания из книги – это вайб-математика. Когда рецензент пишет замечания к статье в журнале – это вайб-математика. Казалось бы, вся математика по такому определению это вайб-математика (т.е. по идее "просто математика"), что не удивительно (вернёмся позже к вопросу иной математики).

Лейденская декларация начинается со слов "технологические разработки постоянно трансформировали практику математики". Однако что эта фраза означает – её авторы, конечно, именно вайб-математики – совершенно не ясно. Как трансформировали-то? Теперь выкладки вместо почтового отправления на лошадях по электронной почте пересылать можно? Вместо меловой доски использовать электронный проектор? Ерунда, никаких трансформирующих вайб-математику технологических разработок за последние 300 лет не было.

Вайб-математику можно назвать особым разделом интроспективной психологии (т.е. тщательным построением и исследованием конструкций ума), или сортом "настольной игры" (т.е. манипуляцией абстрактными объектами по строгим правилам), или художественной литературой определённого жанра (написанием текстов для взаимного развлечения и критики).

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

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

"Искусственный интеллект может использоваться для военных целей". Поэтому надо с ним бороться или по меньшей мере саботировать? Нет, надо "оценивать этические последствия своей работы". Что бы это ни значило на самом деле, по факту прочитывается как "за деньги (и за интересы правильной страны) да".

Триггером публикации декларации, по-видимому, послужило опровержение гипотезы Эрдёша о единичных расстояниях. Пока модели доказывали что-то там своё в коде proof assistants вайб-математики спали спокойно, но как только успешно зашли в их область литературных спекуляций – начали испытывать заметную тревогу.

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

Математика всю свою историю была где-то на вершине социальной пирамиды, но почему она там оказалась? Если брать не прикладные разделы, имеющие прямое отношение к народному хозяйству, а так называемую чистую математику (о которой в основном и идёт здесь речь) – то не за счёт ли вайба?

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

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

Всё то же самое верно для любых творческих профессий – для художников, для литераторов, для разработчиков игр, косплееров, тиктокеров, кого угодно. Вайб-математика это интересно и весело. Да и проблемы-то от ИИ не у них, а у злых дедов-аппаратчиков.