Что остаётся математику, если доказательство уже получено машиной? Вопрос упирается в т...
Что остаётся математику, если доказательство уже получено машиной? Вопрос упирается в то, что считать результатом математической работы. При решении трудной задачи ценность имеет и сам путь. В ходе поиска возникают инструменты, связи между разными результатами и вопросы, которые заранее никто не собирался задавать. Поэтому готовое доказательство ещё предстоит осмыслить и встроить в общую картину. В обсуждении будущего математики с ИИ Павел Этингоф описывает возможное перераспределение труда. Математики будут передавать ИИ больше работы по получению результатов, а сами уделять больше времени их интерпретации и изучению. Это прогноз, и он предполагает изменение того, за что профессиональное сообщество даёт признание и возможности для карьеры. У такой работы есть конкретное содержание. Переписать доказательство так, чтобы стали видны его идеи. Найти более изящный аргумент. Предложить определения и общую теорию. Сформулировать следующие вопросы и выбрать те, вокруг которых стоит строить исследовательскую программу. Даже прекрасно изложенный текст требует от читателя самостоятельной работы по пониманию. Здесь возникает трудность с профессиональными стимулами. Публикации, найм и признание в математике тесно связаны с доказанными теоремами. Если получать доказательства станет проще, а понимать их останется трудно, ценность объяснения и передачи знаний придётся учитывать гораздо серьёзнее. Есть и образовательный риск. Дэниел Литт предупреждает о возможном будущем, в котором исследователей учат запускать систему, но не читать её ответы и не задавать интересные вопросы. Он специально оговаривает, что не считает такой исход вероятным. Это предупреждение о последствиях бездействия, а не утверждение о неизбежном исчезновении профессии. https://arxiv.org/ https://www.its.caltech.edu/~matilde/AImathNew.pdf?fbclid=IwdGRjcAUQucdwZG9mBWZkaWQWUOMEIeWBCoMYIEJ-p0zPAdFGY3K_TmV4dG4DYWVtAjExAHNydGMGYXBwX2lkCjY2Mjg1NjgzNzkAAR4OmpVGyropDsZxaTU-QywGnsVMjLUunr363rVYGOwj7ORz7-hhXrsfuhX8JA_aem_kseyrFyppT40Qv1B8db7tQ Наши каналы MAX · Telegram · Дзен #Математика #ИскусственныйИнтеллект #Доказательства #Образование