Математики переживают стадии горя из-за успехов AI, но не все
To grieve, or not to grieve?
AI для математики переживает стремительную трансформацию: языковые модели решают задачи, которые людям не под силу. Кевин Баззард описывает реакцию сообщества через пять стадий горя Кюблер-Росс — отрицание, гнев, торг, депрессию и принятие — и задаётся вопросом, что значит «понимать» математику, если AI уже доказывает теоремы и, возможно, скоро научится их объяснять.
Я не уверен, что математики придут к согласию относительно того, что означает понимать математику высокого уровня.
- zaptheimpaler
Большинство этих идеалистических статей об ИИ, похоже, исходят от старших, состоявшихся или богатых людей, которые не очень-то сталкиваются с рынком труда. С этой точки зрения вопрос об ИИ и его трансформации почти философский, как в этой статье.
Однако если ты работник, то это скорее вопрос выживания. Это очень преобразующая технология, но она приходит в то время, когда весы сильно склоняются в пользу капитала, а не труда, правительство самое коррумпированное, каким когда-либо было, и ИИ сделает это ещё более крайним. Неважно, насколько удивительна технология, если все выгоды достанутся тем же немногим, у кого уже всё есть, и уничтожат переговорную силу всех остальных.
- js8
Я тоже оптимист в отношении ИИ, хотя меня также беспокоит аспект труда (как левый я вижу в этом классовый аспект, с другой стороны, как программист, компьютеры изначально тоже предназначались для замены человеческого труда, и мы все видим, что произошло).
Моё мнение таково: современные топовые ИИ выполняют несколько разных вещей:
1. Интерпретируют и выводят естественный язык
2. Занимаются формальными логическими рассуждениями
3. Занимаются неформальными логическими рассуждениями
4. Предоставляют энциклопедические знания
5. Распознают расплывчатые инструкции/утверждения и заполняют наиболее вероятные пробелы (своего рода исправление ошибок)
6. Служат моделью человеческого разума, заместителем человека
7. Переводят между разными языками, формальными и неформальными
Все эти вещи объединены в этих огромных, трудных для понимания сгустках весов. Я думаю, человечеству было бы лучше, если бы оно понимало каждый аспект отдельно, но распутывание их займёт десятилетия философских исследований. Так что впереди нас ждёт много интересной работы.
- youoy
В отличие от того, что обычно передают эти философские статьи, главный кризис в математике — это кризис труда.
Математики обменивали доказательства на трудоустройство. Это была валюта. Теперь они не могут больше использовать эту валюту, так что вопрос в том, как кому-то узнать, стоит ли нанимать незнакомого человека или нет?
С философской точки зрения, какая разница, что тебе больше нравится — строить теорию или доказывать теоремы? Тебе не нужно никого убеждать. Единственное решение — быть любопытным и следовать своим интересам, и естественным образом человечество переопределит, какой ощущается новая математика.
Ты не можешь никого в этом убедить, это нечто иррациональное.
- sachaa
Я разделяю этот оптимизм. Соединять точки между знанием, жизненным опытом и целью, на мой взгляд, остаётся глубоко человеческим занятием. Чем больше ИИ открывает, тем больше у нас возможностей связать эти открытия с вопросами, которые для нас важны.
- dang
Buzzard — такой хороший писатель. Прочитайте всё до конца — становится (ещё) лучше по мере чтения.