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

Machine Learning Street Talk 发布了对逻辑学家、形式化证明学者 Jeremy Avigad 的访谈片段，他强调关于 AI 的辩论应始终以人为中心。Jeremy Avigad 认为，人类目标之所以特殊，正因为它们是我们的目标；讨论应关注我们如何与 AI 互动、我们的目标是什么，以及如何实现这些目标。完整访谈即将上线。