火星網(wǎng)校
GPT-4野生代言人陶哲軒：搞論文學(xué)新工具沒它得崩潰!
發(fā)布時間：2023-11-28 14:55:27 瀏覽量：126次
已多次力薦
豐色 發(fā)自 凹非寺
|
陶哲軒有多愛GPT-4？
這回，不止寫論文做研究，學(xué)新工具時他也離不開它了。
就在今天，他的又一篇成果上線，關(guān)于麥克勞林不等式。
為了更好地展現(xiàn)其成果，48歲的他開始學(xué)習(xí)Lean4（一種可作為交互式定理證明工具的函數(shù)式編程語言）。
他自述，隨著學(xué)習(xí)該語言“關(guān)卡難度”的增加，GPT-4又能幫大忙了——
如果沒有它幫我解決各種微妙的語法問題，你都無法想象我有多崩潰。
不愧是GPT-4的“野生代言人”。
至于這次的論文，陶哲軒表示：
非常簡短，只有11頁。并且用到的方法非常基礎(chǔ)，只需要本科的微積分和多項(xiàng)式知識就可以。
一起來看看[狗頭]
麥克勞林不等式
這篇論文10月10日發(fā)表，距離上一篇“歐拉函數(shù)的單調(diào)非遞減序列”差不多正好一個月。
總的來說，這篇論文主要講的是經(jīng)典麥克勞林不等式認(rèn)為初等對稱為以下形式（公式1）：
當(dāng)1≤k≤?≤n且y=(y1,…,yn)由非負(fù)實(shí)數(shù)組成時，它服從不等式（公式2）：
在此，陶哲軒提出了一個變體（公式3）：
在這個變體中，yi被允許為負(fù)。
在這種情況下，不等式“急劇上升”為常數(shù)，即使分母不含k1/2因子不等式也是已知的。
具體而言，陶哲軒寫道：
公式2也可以被用牛頓不等式來證明：
所有1≤k<n和任意實(shí)數(shù)y1,…,yn有效（特別是這里的yi被允許為負(fù)數(shù)。</n和任意實(shí)數(shù)y1,…,yn有效（特別是這里的y
但是請注意，當(dāng)k=1，n=2時，它就是算術(shù)平均-幾何平均不等式了：
這種不等式的一般情況可以通過許多標(biāo)準(zhǔn)操作從上面這種特殊情況中推導(dǎo)出來。
為什么可以？這主要?dú)w功于羅爾定理（Rolle’s theorem）。
但陶哲軒指出，關(guān)鍵點(diǎn)是是該運(yùn)算保留了直到Sn-1為止的所有基本對稱均值。
接下來，我們可以將麥克勞林不等式視為提供n變量上的算術(shù)平均-幾何平均不等式的改進(jìn)版本（當(dāng)k=1，?=n時）。
不過，牛頓不等式適用于任意實(shí)數(shù)yi ，一旦允許一個或多個yi為負(fù)，麥克勞林不等式就會“崩潰”。
但鑒于當(dāng)n為偶數(shù)時會出現(xiàn)一個關(guān)鍵示例：yi的一半等于+1，一半等于-1。
我們就可以驗(yàn)證基本對稱均值sk中當(dāng)k奇數(shù)時“消失”，為偶數(shù)時則等于：
特別地，一些常規(guī)估計(jì)可以得出量級界限（公式a）：
問題又來了，由于當(dāng)0<k≤n上式也成立，因此即使在sk(y)上加上絕對值之后仍然嚴(yán)重違反了麥克勞林不等式。</k≤n上式也成立，因此即使在s
另一方面，其他數(shù)學(xué)家還觀察到，如果兩個連續(xù)值都很小，這會導(dǎo)致所有后續(xù)值s?(y)也很小。
還有另一數(shù)學(xué)家觀察到了這一說法的更精確版本（公式b）：
其中1≤k≤?≤n且y=(y1,…,yn)為實(shí)數(shù)（但可能為負(fù)）。
假設(shè)k=1，?=n，我們就能得到不等式：
再結(jié)合算術(shù)平均數(shù)-幾何平均數(shù)不等式又可以成立不等式：
以及等式：
與牛頓不等式的證明一樣，公式b的一般情況可以通過一些標(biāo)準(zhǔn)操作（包括前面提到的微分運(yùn)算）從這個特殊情況得到。
然而，如果對照關(guān)鍵示例給出的邊界a?(公式a)?檢查邊界n?(公式b)，我們會發(fā)現(xiàn)不匹配：
在k1/2的影響下，b的右側(cè)比左側(cè)大。
在此，論文的主要成果就是通過建立最佳修改（直至常數(shù)），即前面提到的公式3來糾正這一問題。
這個成果也回答了數(shù)學(xué)網(wǎng)站MathOverflow上網(wǎng)友提出的疑問：
那么陶哲軒是如何解決的呢？
與前面的論點(diǎn)不同，他在這里不主要依賴算術(shù)平均數(shù)-幾何平均數(shù)不等式。相反，主要工具是新的不等式：
它對所有1≤?≤n和r>0有效。
該式子的證明大家如果感興趣可以進(jìn)一步查閱博客或論文，主要涉及一些微積分、二項(xiàng)式定理和多項(xiàng)式的知識。
論文地址：
https://arxiv.org/abs/2310.05328
參考鏈接：
https://terrytao.wordpress.com/2023/10/10/a-maclaurin-type-inequality/（博客）
https://mathstodon.xyz/@tao
熱門課程推薦
熱門資訊
-
想將照片變成漫畫效果？這篇文章分享了4個方法，包括Photoshop、聰明靈犀、VanceAI Toongineer、醒圖，簡單操作就能實(shí)現(xiàn)，快來嘗試一下吧！
-
2. 華為手機(jī)神奇“AI修圖”功能，一鍵消除衣服！原圖變身大V領(lǐng)深V！
最近華為手機(jī)Pura70推出的“AI修圖”功能引發(fā)熱議，通過簡單操作可以讓照片中的人物換裝。想了解更多這款神奇功能的使用方法嗎？點(diǎn)擊查看！
-
近年來,人工智能逐漸走入公眾視野,其中的AI圖像生成技術(shù)尤為引人注目。只需在特定軟件中輸入關(guān)鍵詞描述語以及上傳參考圖就能智能高效生成符合要求的...
-
4. AI視頻制作神器Viggle：讓靜態(tài)人物動起來，創(chuàng)意無限！
Viggle AI是一款免費(fèi)制作視頻的AI工具，能讓靜態(tài)人物圖片動起來，快來了解Viggle AI的功能和優(yōu)勢吧！
-
5. Logo Diffusion——基于sd繪畫模型的AI LOGO 生成器
這下LOGO設(shè)計(jì)徹底不用求人了。接下來詳細(xì)演示一遍操作流程首先進(jìn)入Logo D... 想學(xué)習(xí)更多AI技能,比如說關(guān)于怎么樣利用AI來提高生產(chǎn)效率、還能做什么AI...
-
6. 零基礎(chǔ)10分鐘生成漫畫，教大家如何用AI生成自己的漫畫
接下來,我將親自引導(dǎo)你,使用AI工具,創(chuàng)作一本既有趣又能帶來盈利的漫畫。我們將一起探索如何利用這個工具,發(fā)揮你的創(chuàng)意,制作出令人驚嘆的漫畫作品。讓...
-
7. AI顯卡繪畫排行榜:4090無懸念，最具性價比出人意料
在AI繪圖領(lǐng)域，Stable Diffusion的顯卡繪圖性能備受關(guān)注。本文整理了Stable Diffusion顯卡的硬件要求和性能表現(xiàn)，以及2023年3月顯卡AI繪圖效率排行榜和性價比排行榜。歡迎查看最新的AI顯卡算力排行榜。
-
8. 趕緊收藏好!這4個完全免費(fèi)的AI視頻制作網(wǎng)站和工具
以下是一些免費(fèi)的AI視頻制作網(wǎng)站或工具,幫助您制作各種類型的視頻。 1. Lumen5:Lumen5是一個基于AI的視頻制作工具,可將文本轉(zhuǎn)換為視頻。 用戶可以使...
-
就能快速生成一幅極具藝術(shù)效果的作品,讓現(xiàn)實(shí)中不懂繪畫的人也能參與其中創(chuàng)作!真的超贊噠~趣趣分享幾款超厲害的AI繪畫軟件,提供詳細(xì)操作!有需要的快來...
-
10. 10個建筑AI工具，從設(shè)計(jì)到施工全覆蓋!肯定有你從來沒聽過的
講述了建筑業(yè)比較著名的AI公司小庫科技做出的探索,在這兒就不多說了。今天,我們試著在規(guī)劃設(shè)計(jì)、建筑方案設(shè)計(jì)、住宅設(shè)計(jì)、管道設(shè)計(jì)、出渲染圖、3D掃...
最新文章
