Terence Tao: At the Erdos problem website, AI assistance now becoming routine
На сайте проблем Пола Эрдёша (erdosproblems.com) обновили правила: теперь разрешено использовать помощь ИИ при подаче решений на призы, с обязательным раскрытием методов. Ранее такие инструменты были запрещены. Terence Tao приветствует изменение, отмечая, что оно стимулирует больше математиков экспериментировать с задачами, включая новичков и специалистов из смежных областей.
Список включает свыше 1000 открытых проблем с призами от $25 до $10 000; решено около 10%. ИИ должен применяться этично — без сокрытия вклада, с указанием моделей вроде GPT-4 или AlphaProof. Tao подчёркивает: это "welcome development", ускоряющее прогресс, но не заменяющее глубокое понимание.