GitHub Copilot，又一次被數(shù)學(xué)大神陶哲軒“點(diǎn)名”了：eqS28資訊網(wǎng)——每日最新資訊28at.com

我發(fā)現(xiàn)GitHub Copilot在撰寫我最近博客文章的過程中非常有幫助。eqS28資訊網(wǎng)——每日最新資訊28at.com

它能夠正確地預(yù)測那篇文章中數(shù)學(xué)論證的幾個步驟。eqS28資訊網(wǎng)——每日最新資訊28at.com

eqS28資訊網(wǎng)——每日最新資訊28at.com

并且陶哲軒還給出了一個具體的案例做闡述。eqS28資訊網(wǎng)——每日最新資訊28at.com

eqS28資訊網(wǎng)——每日最新資訊28at.com

例如在上面這個例子中，陶哲軒先是將一個積分分成了三塊。eqS28資訊網(wǎng)——每日最新資訊28at.com

然后他用語言描述了如何對第一塊的內(nèi)容做估計，以及說明了一下如何估計剩下兩塊的內(nèi)容。eqS28資訊網(wǎng)——每日最新資訊28at.com

接下來，就到了GitHub Copilot登場的時刻了。eqS28資訊網(wǎng)——每日最新資訊28at.com

它基于陶哲軒給出的內(nèi)容，“啪的一下”，就提出了一大長段的建議內(nèi)容。eqS28資訊網(wǎng)——每日最新資訊28at.com

陶哲軒對此表示：eqS28資訊網(wǎng)——每日最新資訊28at.com

雖然Copilot給出的建議不都是可用的，但最終，我估計有十幾句是被我用到了博客文章里。eqS28資訊網(wǎng)——每日最新資訊28at.com

總而言之，這個工具給我留下了非常深刻的印象（并且有點(diǎn)讓我不安）。eqS28資訊網(wǎng)——每日最新資訊28at.com

網(wǎng)友在看到陶哲軒的安利之后也表示贊成，認(rèn)為GitHub Copilot對非編程相關(guān)的內(nèi)容也是一個非常好的文本工具。eqS28資訊網(wǎng)——每日最新資訊28at.com

eqS28資訊網(wǎng)——每日最新資訊28at.com

而這并不是陶哲軒第一次給AI工具“帶鹽”了，在此之前，他便已經(jīng)推薦過GPT-4、VSCode等等。eqS28資訊網(wǎng)——每日最新資訊28at.com

那么這次在GitHub Copilot的加持之下，陶哲軒又完成了怎樣的一項(xiàng)工作？eqS28資訊網(wǎng)——每日最新資訊28at.com

我們繼續(xù)往下看。eqS28資訊網(wǎng)——每日最新資訊28at.com

Copilot幫忙寫的數(shù)學(xué)博客

這篇數(shù)學(xué)博客名為Bounding sums or integrals of non-negative quantities，即估計非負(fù)量的和或積分的上界。eqS28資訊網(wǎng)——每日最新資訊28at.com

eqS28資訊網(wǎng)——每日最新資訊28at.com

在數(shù)學(xué)中，我們經(jīng)常需要估計某個量的大小，特別是當(dāng)這個量是由一系列非負(fù)項(xiàng)組成的時候。eqS28資訊網(wǎng)——每日最新資訊28at.com

例如，在數(shù)學(xué)分析、概率論、組合學(xué)等領(lǐng)域中，經(jīng)常需要估計函數(shù)、序列、集合等的和或積分。eqS28資訊網(wǎng)——每日最新資訊28at.com

因此，估計非負(fù)量的和或積分的上界是一個重要的數(shù)學(xué)問題。eqS28資訊網(wǎng)——每日最新資訊28at.com

接下來，陶哲軒介紹了一些估計非負(fù)量的和或積分的上界的常用方法，包括算術(shù)平均值-幾何平均值不等式、Holder不等式、Markov不等式等。eqS28資訊網(wǎng)——每日最新資訊28at.com

這些方法在數(shù)學(xué)中非常常用，可以用來估計各種數(shù)學(xué)量和問題的上界。eqS28資訊網(wǎng)——每日最新資訊28at.com

而在這篇博客中，陶哲軒主要是利用這些簡單的數(shù)學(xué)原理，來估計非負(fù)量的和或積分的上界。eqS28資訊網(wǎng)——每日最新資訊28at.com

eqS28資訊網(wǎng)——每日最新資訊28at.com

最后，文章總結(jié)了估計非負(fù)量的和或積分的上界的方法和技巧，并強(qiáng)調(diào)了它們在各個領(lǐng)域中的應(yīng)用。eqS28資訊網(wǎng)——每日最新資訊28at.com

這些方法不僅可以用于解決具體的數(shù)學(xué)問題，還可以在其他領(lǐng)域中應(yīng)用，例如：物理學(xué)、工程學(xué)、經(jīng)濟(jì)學(xué)等。eqS28資訊網(wǎng)——每日最新資訊28at.com

因此，這篇文章對于理解非負(fù)量的和或積分的估計方法以及它們在各個領(lǐng)域中的應(yīng)用具有重要意義。eqS28資訊網(wǎng)——每日最新資訊28at.com

那么最后，你覺得這篇文章里，哪些內(nèi)容是由GitHub Copilot完成的呢？eqS28資訊網(wǎng)——每日最新資訊28at.com

參考鏈接：
[1]https://mastodon.social/@tao@mathstodon.xyz/111158220516679670。eqS28資訊網(wǎng)——每日最新資訊28at.com

[2]https://terrytao.wordpress.com/2023/09/30/bounding-sums-or-integrals-of-non-negative-quantities/。eqS28資訊網(wǎng)——每日最新資訊28at.com

本文鏈接：http://www.www897cc.com/showinfo-26-12147-0.htmlGitHub Copilot讓陶哲軒感到“不安”

聲明：本網(wǎng)頁內(nèi)容旨在傳播知識，若有侵權(quán)等問題請及時與本網(wǎng)聯(lián)系，我們將在第一時間刪除處理。郵件：2376512515@qq.com

上一篇： 數(shù)據(jù)安全之道：Java加密技術(shù)保護(hù)MySQL數(shù)據(jù)庫

下一篇： 架構(gòu)設(shè)計的技術(shù)陷阱：如何避免八個致命的錯誤