Медалист Филдса сказал, что плакал, когда OpenAI выпустила свои математические доказательства

Аргумент Томпсона: наука — это разговор, и в него вмешалась машина

Эссе Дерека Томпсона исходит из того, что люди сочетают ремесло (подражание и итерацию) с общительностью, поэтому открытия накапливаются через поколения. Наука, по его словам, одновременно ремесло открытия и разговор между открывателями, совместный и состязательный. OpenAI сильна в половине ремесла. Решая задачи целиком, она обрывает разговор.

Стивен Строгац из Корнелла описывает растерянность, восторг и «огромное горе». Томпсон не ждёт, что сотни миллионов рабочих мест исчезнут в ближайшие пять лет. Зато он ждёт, что то же горе придёт к физикам, экономистам, иллюстраторам и писателям.

Аргумент о деньгах против слёз сталкивается с расчётным листком

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

«Я только что проверил зарплату двух доцентов в моём университете: 80–85 тысяч долларов.» — комментатор, проверивший зарплаты доцентов в своём университете

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

Так ли горюют о заработке?

Другой скептик поставил мысленный эксперимент. Если ИИ решит вашу область, но вам всё равно будет интересно и вы получаете безусловный базовый доход, будете ли вы всё равно плакать? Автор вопроса ответил «нет» и заключил, что основная боль связана с «прямым экономическим ударом по средствам к существованию», значит, разговор и надо вести об этом.

Ответ возразил, что гипотеза мимо того, за что платят математикам:

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

Если так, базовый доход заменит зарплату, но не то, побочным продуктом чего зарплата и была: вклада, на котором стоит имя математика.

Трудно жалеть математиков, когда увольняют инженеров

Инженер-программист открыл собственный тред: инженеров увольняют, математиков нет, а блоги о бедах однобоки. Самый сильный ответ дал комментатор, который назвал себя «инженером-бакалейщиком и любителем полиномов»:

«Я лично не скорблю по таким, как Строгац или Тао: похоже, у обоих всё будет в порядке, как бы всё ни обернулось. Но многие менее известные математики годами трудились в ненадёжном положении, без известности и без тенюра.» — инженер-бакалейщик и любитель полиномов

Тот же комментатор добавил, что многие математики ушли в частный сектор, став программистами, актуариями и ML-инженерами, и «там их тоже вытеснили». Комментатор с 26 тысячами кармы ответил с другой стороны: программисты 50 лет устраняли канцелярскую и секретарскую работу, и мало кто за пределами профессии сожалеет, что теперь её ждёт та же судьба.

Брезент и вопрос о том, кто ещё будет читать доказательство

Лучше всего мысль Томпсона выразил бывший фармацевтический исследователь, который создавал лекарства по биомедицинским снимкам:

«Теперь они понимают, что, возможно, больше никогда не испытают радость быть первыми, кто приподнимет край брезента невежества и увидит голую правду впервые.» — бывший фармисследователь, создававший препараты по биомедицинским снимкам

Инвестор growth-equity ответил, что открытие не единственный человеческий акт в этой цепочке. Даже сейчас проверка и понимание доказательств ИИ — это «огромная работа», а превращение находки в интуитивную дистилляцию остаётся «открытой и требовательной экспертизой». Значит, у области появляется другая задача: читать доказательство. Это же показывает границу прогноза Томпсона о том, что следующими будут скорбеть экономисты, иллюстраторы и писатели. Математика может проверить ответ машины. У других областей нет проверяющего, который решит, права ли машина.