Теренс Тао: нейросети доросли до роли младшего соавтора в математике
Один из сильнейших математиков современности Теренс Тао всё чаще работает вместе с нейросетями. В интервью The Atlantic он признаёт, что чат-боты достигли уровня, когда могут сотрудничать с живыми математиками, и это открывает «другой способ заниматься математикой».
Поводом для разговора стали сообщения о том, что генеративные модели решили несколько открытых задач из списка Эрдёша. В этом списке более тысячи вопросов разной сложности, собранных венгерским математиком Паулем Эрдёшем. Часть решений, созданных с помощью ИИ, включая ChatGPT, действительно прошла проверку, но касалась в основном самых лёгких задач.
Сам Тао выступает судьёй этих доказательств. Его оценка сдержанная: решения «впечатляют, но не ошеломляют», пока это в основном «дешёвые победы». По его словам, ИИ систематически перебирает длинный хвост малоизвестных задач и выбирает самые простые — те, с которыми эксперт справился бы за полдня, используя стандартную технику.
При этом математик отмечает пользу даже от таких успехов. Некоторые доказательства используют приёмы из старых работ, о которых он сам не знал, и это расширяет арсенал. Но есть и принципиальная разница: когда человек решает задачу, он оставляет за собой «тропинки» — промежуточные идеи, которыми могут воспользоваться коллеги. ИИ же переносит сразу к цели, как вертолёт, и пропускает сам путь.
Тао ожидает, что в ближайшие месяцы появятся гибридные человеко-машинные вклады. Ещё в 2023 году он предсказывал, что к 2026-му ИИ станет надёжным соавтором технических работ. По его словам, график почти выдержан: сейчас нейросети используются на уровне младшего соавтора, который охотно берёт на себя рутинные вычисления и разбор утомительных случаев.
Чтобы сотрудничество стало полноценным, нужны изменения со стороны разработчиков. Тао указывает на отсутствие у моделей честной оценки собственной уверенности: ИИ всегда утверждает, что полностью уверен в ответе, что снижает его полезность. Кроме того, он критикует стремление компаний к полностью автономным системам — математикам нужен диалог с машиной, а не кнопка, запускающая готовое решение. По его словам, сообществу предстоит выработать стандарты ответственного использования ИИ за гораздо более короткий срок, чем это было с компьютерными доказательствами.
Первоисточник: www.theatlantic.com ↗