Математики ненавидят ИИ. Но не могут от него отказаться

Мощные ИИ-модели создают экзистенциальный риск для математики, однако исследователи продолжают полагаться на них, потому что они слишком полезны.