GitHub Copilot让陶哲轩感到“不安”
GitHub Copilot,又一次被数学大神陶哲轩“点名”了:
我发现GitHub Copilot在撰写我最近博客文章的过程中非常有帮助。
它能够正确地预测那篇文章中数学论证的几个步骤。
并且陶哲轩还给出了一个具体的案例做阐述。
例如在上面这个例子中,陶哲轩先是将一个积分分成了三块。
然后他用语言描述了如何对第一块的内容做估计,以及说明了一下如何估计剩下两块的内容。
接下来,就到了GitHub Copilot登场的时刻了。
它基于陶哲轩给出的内容,“啪的一下”,就提出了一大长段的建议内容。
陶哲轩对此表示:
虽然Copilot给出的建议不都是可用的,但最终,我估计有十几句是被我用到了博客文章里。
总而言之,这个工具给我留下了非常深刻的印象(并且有点让我不安)。
网友在看到陶哲轩的安利之后也表示赞成,认为GitHub Copilot对非编程相关的内容也是一个非常好的文本工具。
而这并不是陶哲轩第一次给AI工具“带盐”了,在此之前,他便已经推荐过GPT-4、VSCode等等。
那么这次在GitHub Copilot的加持之下,陶哲轩又完成了怎样的一项工作?
我们继续往下看。
Copilot帮忙写的数学博客
这篇数学博客名为Bounding sums or integrals of non-negative quantities,即估计非负量的和或积分的上界。
在数学中,我们经常需要估计某个量的大小,特别是当这个量是由一系列非负项组成的时候。
例如,在数学分析、概率论、组合学等领域中,经常需要估计函数、序列、集合等的和或积分。
因此,估计非负量的和或积分的上界是一个重要的数学问题。
接下来,陶哲轩介绍了一些估计非负量的和或积分的上界的常用方法,包括算术平均值-几何平均值不等式、Holder不等式、Markov不等式等。
这些方法在数学中非常常用,可以用来估计各种数学量和问题的上界。
而在这篇博客中,陶哲轩主要是利用这些简单的数学原理,来估计非负量的和或积分的上界。
最后,文章总结了估计非负量的和或积分的上界的方法和技巧,并强调了它们在各个领域中的应用。
这些方法不仅可以用于解决具体的数学问题,还可以在其他领域中应用,例如:物理学、工程学、经济学等。
因此,这篇文章对于理解非负量的和或积分的估计方法以及它们在各个领域中的应用具有重要意义。
那么最后,你觉得这篇文章里,哪些内容是由GitHub Copilot完成的呢?
参考链接:
[1]https://mastodon.social/@tao@mathstodon.xyz/111158220516679670
[2]https://terrytao.wordpress.com/2023/09/30/bounding-sums-or-integrals-of-non-negative-quantities/
出版业自救,从下架电子书开始?
微信读书,这一蓝白相间的软件,逐渐成为都市读书人的首选“电子阅读”应用。根据DataAI的数据统计,近三月全球应用下载量排名榜单中,微信读书APP位列274,掌阅排名500,豆瓣阅读排在第1000。简洁的界面设计,丰富的电子书库,不贵的全场阅读卡,成为广大爱书人选择微信读书的理由。站长网2024-02-19 17:21:440001英特尔推出企业级通用人工智能软件公司Articul8
**划重点:**1.🧠英特尔与DigitalBridge合作推出新的企业级通用人工智能软件公司Articul8。2.💼Articul8源于英特尔与波士顿咨询集团(BSG)的合作,构建了一款可读取文本和图像的通用人工智能系统。3.🌐Articul8定位于金融服务、航空航天、半导体、电信等领域,强调高级别安全性和专业领域知识。0000微软计划在澳大利亚投资 32 亿美元以扩展其人工智能和云计算能力
站长之家(ChinaZ.com)10月24日消息:微软公司日前宣布,将在接下来的两年内投资50亿澳元(约合32亿美元)在澳大利亚扩展其人工智能(AI)和云计算能力。此举是该公司一项包括技能培训和网络安全在内的广泛努力的一部分。站长网2023-10-24 23:37:390000Midjoureny v6将于下周推出风格一致性功能
昨晚在Midjoureny的OfficeTime中提到,下周将推出新的版本6(v6)更新。这次更新将引入全新的角色和风格参考功能,目前正在进行角色参考的测试。用户将能够在不同风格中保持角色的一致性。需要注意的是,新的风格参考将会取代旧的版本,并且新的描述功能也将很快开始测试。除此之外,他们正在探索加入风格随机选项的可能性。站长网2024-02-29 14:15:460000媲美GPT 4!Inflection AI发布Inflection-2.5版本模型 高智商加高情商
InflectionAI公司最近发布了其最新的人工智能模型——Inflection-2.5。这个版本在性能上与GPT4媲美,但仅使用了四成的训练计算量。这一创新展示了InflectionAI在AI领域的高效性和技术创新能力。站长网2024-03-08 13:36:340000