Лауреаты Филдсовской премии выступили против гонки ИИ-компаний за громкими математическими решениями. Их претензия простая: лаборатории считают закрытые задачи удобным тестом для моделей, а математикам одного ответа мало.
Новое доказательство ещё нужно разобрать, проверить, связать с прежними работами и объяснить другим. Именно в этом процессе появляются методы и идеи, которыми потом пользуется вся наука. Если решения выпускать быстрее, чем сообщество успевает их переваривать, получится склад ответов без нормальной системы хранения.
Авторы письма отдельно предупреждают о спешке с публикациями, потерянных ссылках на чужие работы и путанице с авторством. Есть и менее заметный риск: молодые математики учатся не только на готовых результатах, но и на долгом разборе задач вместе с коллегами. Убрать этот путь — всё равно что выдать диплом вместе с решебником. Бумага есть, школа куда-то делась.
Сам ИИ в письме не запрещают. Напротив, ему оставляют роль инструмента, который может ускорять исследования и помогать разбираться в математике. Но польза зависит от людей, управляющих технологией, а не от количества эффектных побед модели.
Конкретных правил, санкций и названий виноватых лабораторий в обращении нет. Это публично обозначенная граница: сгенерировать правдоподобное доказательство — не то же самое, что встроить новый результат в математику. Проверять, объяснять и отвечать за него всё равно придётся людям.