ИИ-доказательства раскололи математиков Гарварда: результат или понимание?
Гарвардские математики по-разному оценивают роль искусственного интеллекта в доказательствах. Газета The Harvard Crimson опросила 12 преподавателей и исследователей: одни считают, что корректный результат ценен независимо от того, кто его получил, другие опасаются, что математика потеряет часть смысла, если человек перестанет понимать доказательства.
Профессор Мелани Матчетт Вуд поддерживает ИИ, который расширяет человеческое понимание. Передать решение машине и оставить знания только внутри неё: совсем другая перспектива.
Вопросы есть и к самим ИИ-доказательствам. Недостаток объяснений и ссылок на предыдущие работы затрудняет проверку, поэтому некоторые исследователи пока используют модели для поиска литературы и программирования, а идеи разрабатывают самостоятельно.
Этой осенью на нескольких вводных курсах Гарварда ввели занятия без технологий, чтобы студенты продолжали развивать собственные навыки.
Источник: The Harvard Crimson
