GitHub Copilot让陶哲轩感到“惊恐”

金磊 在行 凹非寺

比率子位 | 公众号 QbitAI

GitHub Copilot，又一次被微积分大黑陶哲轩“严厉批评”了：

我挖掘出GitHub Copilot在撰写我除此以外其网站文中的过程当中更加有帮助。

它并不需要正确地预测那篇文中当中微积分论证的几个步骤。

并且陶哲轩还证明了了一个具体的个案做阐述。

例如在上面这个例子当中，陶哲轩先是将一个微分分成了三块。

然后他用语言描述了如何对第一块的概要做少于，以及揭示一下如何少于剩两块的概要。

月里，就到了GitHub Copilot客串的时刻了。

它基于陶哲轩证明了的概要，“啪的一下”，就提出异议了一大长段的促请概要。

陶哲轩对此指出：

虽然Copilot证明了的促请不都是可用的，但最终，我少于有十几句是被我用做了其网站文中里头。

总而言之，这个基本功能给我遗留了更加深刻的印象（并且有点让我不安）。

网友在看着陶哲轩的安利便也指出赞同，认为GitHub Copilot对非编程涉及的概要也是一个更加好的文本基本功能。

而这并不是陶哲轩第一次给AI基本功能“带盐”了，在此之前，他便并未力荐过GPT-4、VSCode等等。

那么这次在GitHub Copilot的加持之下，陶哲轩又先成了怎样的一项工作？

我们继续往下看。

这篇微积分其网站名为Bounding sums or integrals of non-negative quantities，即少于非负比率的和或微分的给定。

在微积分当中，我们常会需要少于某个比率的较小，特别是当这个比率是由一系列非负项分成的时候。

例如，在微积分分析、博弈论、混搭学等领域当中，常会需要少于函数、碱基、集合等的和或微分。

因此，少于非负比率的和或微分的给定是一个重要的微积分疑问。

月里，陶哲轩简述了一些少于非负比率的和或微分的给定的都用方法有，之外四则运算标准差-几何标准差不等式、Holder不等式、Markov不等式等。

这些方法有在微积分当中更加都用，可以用来少于各种微积分比率和疑问的给定。

而在这篇其网站当中，陶哲轩主要是依靠这些简单的微积分原理，来少于非负比率的和或微分的给定。

终于，文中归纳了少于非负比率的和或微分的给定的方法有和技巧，并强调了它们在基础性当中的系统设计。

这些方法有不仅可以使用解决具体的微积分疑问，还可以在其他领域当中系统设计，例如：物理学、工程学、经济学家等。

因此，这篇文中对于理解非负比率的和或微分的少于方法有以及它们在基础性当中的系统设计具有重要意味。

那么终于，你觉得这篇文中里头，哪些概要是由GitHub Copilot先成的呢？

参考资料链接：[1]@tao@mathstodon.xyz/111158220516679670[2]

— 先 —

比率子位 QbitAI · 头条号续约