При решении трудной задачи ценность имеет и сам путь. В ходе поиска возникают инструменты, связи между разными результатами и вопросы, которые заранее никто не собирался задавать. Поэтому готовое доказательство ещё предстоит осмыслить и встроить в общую картину. В обсуждении будущего математики с ИИ Павел Этингоф описывает возможное перераспределение труда. Математики будут передавать ИИ больше работы по получению результатов, а сами уделять больше времени их интерпретации и изучению. Это прогноз, и он предполагает изменение того, за что профессиональное сообщество даёт признание и возможности для карьеры...