Математики переживают конец «романтической эпохи»: ИИ отнимает у них радость открытий
The Chalk and the Airplane
Теренс Тао и другие математики обсуждают, как LLM и ИИ-доказательства меняют их дисциплину. Они говорят о потере «романтической эпохи» — времени, когда доказательство теоремы требовало понимания, экспертизы и удачи. Теперь машины генерируют доказательства в изобилии, но без сопутствующего понимания. Это вызывает панику, духовный кризис и споры об этикете. Одни видят в этом «золотой век» науки, другие — «тёмный век», где человеческая научная деятельность ослабевает.
«Я схожу с ума. За последнюю неделю или около того LLM выдали ряд контрпримеров к значительным давним гипотезам… Я переживаю глубокий духовный кризис из-за этих событий».