Двадцать пять ведущих математиков мира, включая лауреатов престижной Филдсовской премии, выступили с серьёзным предупреждением. Они считают, что активное внедрение искусственного интеллекта в высшую математику несёт потенциальные риски для науки. Основная опасность заключается в корпоративной гонке за громкими доказательствами теорем, которая может подорвать традиционные научные ценности...