逻辑学家 Jeremy Avigad：AI 之争的中心必须是我们自己

Machine Learning Street Talk 发布数学家、形式化证明学者 Jeremy Avigad 的访谈片段，他主张 AI 之争的中心必须是人自身。他的理由是目标之所以特殊，正因为它们是我们的目标；AI 可以另开一场讨论去纠结自己的目标，要紧的是人如何与 AI 互动、人的目标是什么、又该如何实现。他强调这种人类中心主义并非霸权式主张，只因这场辩论本就由人进行，完整访谈即将上线。