🎯 Тао не спорит, научится ли ИИ решать задачи. Он выносит этот вопрос за скобки и ради дискуссии предлагает допустить, что научится — причём надёжно решать те задачи, которые давно не даются людям.
И дальше задаёт вопрос поинтереснее: что будет потом? И что вообще считать целью математики?
Интуитивно кажется, что когда ты доказал теорему — всё, задача решена. Но на самом деле путь результата гораздо длиннее:
доказать → проверить → внятно изложить → добиться, чтобы сообщество приняло решение → попасть в общую ткань математического знания
☝️ И самый важный шаг здесь — финальный. А ИИ ускоряет только первый.
⚠️ Значит, в ближайшем будущем главной проблемой станет не нехватка доказательств, а их проверка. Легко представить ситуацию, где в мире просто нет человека, способного надёжно проверить ход рассуждений машины. А ещё доказательств может стать так много, что люди не будут успевать их разбирать — не говоря уже о том, чтобы усвоить и превратить в общедоступное знание.
Тао называет это «несварением доказательств».
👉 Полный текст лекции на русском языке