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