Теренс Тао описал для математики золотой век или поток непроверенных текстов

Математик Теренс Тао опубликовал эссе о том, каким будет для математики и науки ближайшее десятилетие — золотым веком или тёмным. Довод за первое: машинная проверка и языковые модели снимают с исследователя рутину и позволяют браться за задачи, на которые раньше не хватало рук.

Довод за второе Тао формулирует жёстче: если поток правдоподобных, но непроверенных текстов зальёт журналы и архивы, отличить результат от имитации станет дороже, чем получить его самому, и рецензирование как институт сломается.

Вывода в пользу одной из сторон в эссе нет: Тао перечисляет, от каких решений сообщества зависит исход — прежде всего от того, станет ли формальная проверка доказательств нормой.