陶哲轩“喂饭级”AI教程来了!只用GitHub Copilot证明函数极限问题 下午4时 2025/05/20 作者 量子位 视频新人博主陶哲轩展示了如何使用GitHub Copilot来证明数学定理,从函数极限问题入手,演示了求和、求差和求积定理的证明过程,并强调了正确引导Copilot的重要性。