Последние сутки обсуждают письмо, подписанное многочисленными математиками — лауреатами Филдсовской премии — и опубликованное Теренсом Тао (математик из UCLA, сам лауреат Филдсовской премии 2006 года). Название звучит мрачно: *A Severe Misalignment of AI in Mathematics*. Авторы признают: за последние месяцы LLM заметно продвинулись и уже способны решать крупные нерешённые задачи в разных разделах математики — вроде недавнего заявления OpenAI о решении задачи Навье — Стокса. Они не призывают запретить ИИ или отрицать его полезность. Но, с точки зрения авторов, решение задач — лишь инструмент и прокси для главной цели: концептуального понимания и генерации новых инсайтов. Если забыть об этом, инструмент начинает разрушать саму цель. Массовое производство утверждений формата «истина/ложь», по мнению авторов, может не оживить математический ландшафт, а истощить его. Процесс важнее результата.
Интересно, насколько это воспроизводит (только в спокойных тонах) уже давно развиваемую креаторами всех сортов идею: результат не так важен, как процесс его достижения, а поскольку процесс ИИ воспроизвести не может (да ему и не нужно для достижения результата) — надо запретить ИИ достигать результаты.
Да и программисты, по сути, жалуются на похожее — они тоже дорожат процессом. Интересно, кто будет следующим: менеджеры, например, не меньше дорожат своими процедурами, совещаниями и тикетами :)
Письмо в оригинале — terrytao.wordpress.com.
И, простите, не могу не вспомнить свой уже старый текст про процессников и результатников — forbes.ru.