сосредоточиться на ортогональном вопросе целей и ценностей. Он принимает рабочую гипотезу, что достаточно сильная версия гипотезы о возможностях ИИ верна: инструменты ИИ скоро смогут выполнять разумную долю исследовательских математических задач с приемлемым успехом, качеством, контролем и стоимостью. Исходя из этого предположения, он утверждает, что сообщество должно изучить свои истинные цели — решение проблем, построение теорий, обучение, создание эстетических работ — и предупреждает, что оптимизация под решения, созданные ИИ, рискует отклонить эти цели. Он ссылается на результаты задачи «Первое доказательство» (firstproof.org), где семь из десяти исследовательских задач были решены командами ИИ по цене от 10 до 1000 долларов за задачу 28 мая 2026 года. Тао отмечает, что доказательства, сгенерированные ИИ на таких сайтах, как «Задачи Эрдёша», вызывают проблемы верификации, поскольку у экспертов-людей часто не хватает времени или квалификации для их проверки.