Джон Пардон о понимании математики и ИИ
Джон Пардон о понимании математики и ИИ Зачем искать доказательство самостоятельно, если его может найти машина? В интервью Пегги Инь Джон Пардон связывает этот вопрос с тем, как возникают новые идеи и чему нужно учить математиков. Его привлекают задачи без видимого подхода. Первое решение он сравнивает с прокладыванием пути через лес. Позже другие находят удобный маршрут и строят дорогу. Так решение становится основой теории, которая позволяет лучше понять, почему оно работает. Примером служит работа о двух способах подсчёта кривых. Пардон сообщает, что доказал их соответствие, предполагавшееся около двадцати лет. На момент интервью статья ещё рецензируется. Замысел пришёл из топологии, где можно гибко перестраивать объекты. Пардон предлагает образ поделки из бумаги, которую разрезают, складывают и склеивают. В алгебраической геометрии подобные действия гораздо строже ограничены. Топологическая идея подсказала, зачем нужны сложные средства этой области; затем пришлось переводить рассуждение на её язык и обеспечивать его работу при этих ограничениях. Опыт помогает искать путь, но привычные ожидания могут скрыть неожиданную возможность. Поэтому Пардон ценит разбирательство с нуля, даже когда готовое объяснение доступно. Он слушает доклады вне своей специализации, играет на виолончели и учит китайский. Переключение занятий, по его словам, даёт энергию, хотя сознательной связи между увлечениями он не проводит. ИИ оказался полезен ему прежде всего при вычитывании доказательств. Модель замечает пропущенное ограничение, например слово «конечные». Утверждение обо всех конструкциях некоторого типа и утверждение только о конечных имеют разную область действия. Способность восстановить нужное условие по контексту Пардон воспринимает как понимание. Его оценка «на 100%» выражает эту уверенность, но не устанавливает безошибочность модели. ИИ также доказал для него несколько нетривиальных вспомогательных утверждений, возможно, уже доступных в литературе. Прорывного собственного результата с ИИ он пока не получил. Другой эксперимент пока не завершён. Пардон пытается переписать с помощью модели трудночитаемую статью возрастом 10–15 лет на современном языке. Речь идёт о сотнях страниц и многократном обмене запросами. При успехе он допускает, что не считал бы себя соавтором, если основную работу выполнит машина. По оценке Пардона, модели уже проводят длинные рассуждения и быстро перебирают возможности, но крупных концептуальных прорывов ИИ он пока не отмечает. С результатами, которых люди не понимают, нужна осторожность. Самостоятельное решение сохраняет личную ценность, как участие в забеге, даже если другие быстрее. Обучение тоже остаётся необходимым. Родители и учителя открывали Пардону незнакомые направления. Теперь он сам сталкивается с разрывом между освоенным приёмом и пониманием. Студент решает типовые задачи, но небольшая перемена ставит его в тупик. Учителю нужно найти недостающую связь и направить интерес ученика. Простые задачи готовят человека к сложным; любопытство и способ мышления нужны и тогда, когда отдельные навыки устаревают. Наши каналы MAX · Telegram · Дзен #Математика #Доказательства #Мышление #Обучение #ИскусственныйИнтеллект