Copilot让陶哲轩感到

GitHubCopilot，又一次被数学大神陶哲轩“点名”了:我发现GitHubCopilot在撰写我最近博客文章的过程中非常有帮助。它能够正确地预测那篇文章中数学论证的几个步骤。并且陶哲轩还给出了一个具体的案例做阐述。例如在上面这个例子中，陶哲轩先是将一个积分分成了三块。然后他用语言描述了如何对第一块的内容做估计，以及说明了一下如何估计剩下两块的内容。