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

Machine Learning Street Talk · youtube · 2026-10-28

Machine Learning Street Talk 发布了对著名数学家、形式化证明学者 Jeremy Avigad 的访谈片段。他的核心观点是：关于 AI 的辩论应该始终以人为中心。

他的理由是：我们的目标之所以特殊，正因为它们是我们的目标。AI 可以在旁边另开一场讨论，去纠结它自己的目标是什么；真正要紧的是我们如何与 AI 互动、我们的目标是什么、以及我们该怎样去实现它们。这种人类中心主义并非霸权式的主张，而是因为这场辩论本来就是由我们在进行。完整访谈即将上线。