Теренс Тао предложил переопределить цель математики при сильном ИИ

Математик Теренс Тао выпустил эссе о том, чем становится его дисциплина, когда решение задач перестаёт быть узким местом. Спор о том, насколько мощным станет ИИ в математике, он предлагает свернуть как бесплодный.

Вместо этого Тао раскладывает исследование на этапы: постановка вопроса, поиск подхода, само доказательство, проверка, встраивание результата в общую картину. Решение задачи — только один из них, и автоматизация именно этого шага не отменяет остальных.

Вывод эссе: ценность работы смещается к формулировке вопросов и осмыслению результатов, а не к доведению доказательства до конца.