火星网校
GPT-4野生代言人陶哲轩：搞论文学新工具没它得崩溃!
发布时间：2023-11-28 14:55:27 浏览量：122次
已多次力荐
丰色 发自 凹非寺
|
陶哲轩有多爱GPT-4？
这回，不止写论文做研究，学新工具时他也离不开它了。
就在今天，他的又一篇成果上线，关于麦克劳林不等式。
为了更好地展现其成果，48岁的他开始学习Lean4（一种可作为交互式定理证明工具的函数式编程语言）。
他自述，随着学习该语言“关卡难度”的增加，GPT-4又能帮大忙了——
如果没有它帮我解决各种微妙的语法问题，你都无法想象我有多崩溃。
不愧是GPT-4的“野生代言人”。
至于这次的论文，陶哲轩表示：
非常简短，只有11页。并且用到的方法非常基础，只需要本科的微积分和多项式知识就可以。
一起来看看[狗头]
麦克劳林不等式
这篇论文10月10日发表，距离上一篇“欧拉函数的单调非递减序列”差不多正好一个月。
总的来说，这篇论文主要讲的是经典麦克劳林不等式认为初等对称为以下形式（公式1）：
当1≤k≤ℓ≤n且y=(y1,…,yn)由非负实数组成时，它服从不等式（公式2）：
在此，陶哲轩提出了一个变体（公式3）：
在这个变体中，yi被允许为负。
在这种情况下，不等式“急剧上升”为常数，即使分母不含k1/2因子不等式也是已知的。
具体而言，陶哲轩写道：
公式2也可以被用牛顿不等式来证明：
所有1≤k<n和任意实数y1,…,yn有效（特别是这里的yi被允许为负数。</n和任意实数y1,…,yn有效（特别是这里的y
但是请注意，当k=1，n=2时，它就是算术平均-几何平均不等式了：
这种不等式的一般情况可以通过许多标准操作从上面这种特殊情况中推导出来。
为什么可以？这主要归功于罗尔定理（Rolle’s theorem）。
但陶哲轩指出，关键点是是该运算保留了直到Sn-1为止的所有基本对称均值。
接下来，我们可以将麦克劳林不等式视为提供n变量上的算术平均-几何平均不等式的改进版本（当k=1，ℓ=n时）。
不过，牛顿不等式适用于任意实数yi ，一旦允许一个或多个yi为负，麦克劳林不等式就会“崩溃”。
但鉴于当n为偶数时会出现一个关键示例：yi的一半等于+1，一半等于-1。
我们就可以验证基本对称均值sk中当k奇数时“消失”，为偶数时则等于：
特别地，一些常规估计可以得出量级界限（公式a）：
问题又来了，由于当0<k≤n上式也成立，因此即使在sk(y)上加上绝对值之后仍然严重违反了麦克劳林不等式。</k≤n上式也成立，因此即使在s
另一方面，其他数学家还观察到，如果两个连续值都很小，这会导致所有后续值sℓ(y)也很小。
还有另一数学家观察到了这一说法的更精确版本（公式b）：
其中1≤k≤ℓ≤n且y=(y1,…,yn)为实数（但可能为负）。
假设k=1，ℓ=n，我们就能得到不等式：
再结合算术平均数-几何平均数不等式又可以成立不等式：
以及等式：
与牛顿不等式的证明一样，公式b的一般情况可以通过一些标准操作（包括前面提到的微分运算）从这个特殊情况得到。
然而，如果对照关键示例给出的边界a (公式a) 检查边界n (公式b)，我们会发现不匹配：
在k1/2的影响下，b的右侧比左侧大。
在此，论文的主要成果就是通过建立最佳修改（直至常数），即前面提到的公式3来纠正这一问题。
这个成果也回答了数学网站MathOverflow上网友提出的疑问：
那么陶哲轩是如何解决的呢？
与前面的论点不同，他在这里不主要依赖算术平均数-几何平均数不等式。相反，主要工具是新的不等式：
它对所有1≤ℓ≤n和r>0有效。
该式子的证明大家如果感兴趣可以进一步查阅博客或论文，主要涉及一些微积分、二项式定理和多项式的知识。
论文地址：
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、醒图，简单操作就能实现，快来尝试一下吧！
-
2. AI视频制作神器Viggle：让静态人物动起来，创意无限！
Viggle AI是一款免费制作视频的AI工具，能让静态人物图片动起来，快来了解Viggle AI的功能和优势吧！
-
3. 华为手机神奇“AI修图”功能，一键消除衣服！原图变身大V领深V！
最近华为手机Pura70推出的“AI修图”功能引发热议，通过简单操作可以让照片中的人物换装。想了解更多这款神奇功能的使用方法吗？点击查看！
-
4. AI显卡绘画排行榜:4090无悬念，最具性价比出人意料
在AI绘图领域，Stable Diffusion的显卡绘图性能备受关注。本文整理了Stable Diffusion显卡的硬件要求和性能表现，以及2023年3月显卡AI绘图效率排行榜和性价比排行榜。欢迎查看最新的AI显卡算力排行榜。
-
近年来,人工智能逐渐走入公众视野,其中的AI图像生成技术尤为引人注目。只需在特定软件中输入关键词描述语以及上传参考图就能智能高效生成符合要求的...
-
就能快速生成一幅极具艺术效果的作品,让现实中不懂绘画的人也能参与其中创作!真的超赞哒~趣趣分享几款超厉害的AI绘画软件,提供详细操作!有需要的快来...
-
7. 零基础10分钟生成漫画，教大家如何用AI生成自己的漫画
接下来,我将亲自引导你,使用AI工具,创作一本既有趣又能带来盈利的漫画。我们将一起探索如何利用这个工具,发挥你的创意,制作出令人惊叹的漫画作品。让...
-
8. 10个建筑AI工具，从设计到施工全覆盖!肯定有你从来没听过的
讲述了建筑业比较著名的AI公司小库科技做出的探索,在这儿就不多说了。今天,我们试着在规划设计、建筑方案设计、住宅设计、管道设计、出渲染图、3D扫...
-
以下是一些免费的AI视频制作网站或工具,帮助您制作各种类型的视频。 1. Lumen5:Lumen5是一个基于AI的视频制作工具,可将文本转换为视频。 用户可以使...
-
AI技术的快速发展为各行各业带来了许多创新应用,其中之一就是AI小说生成视频。这种技术利用人工智能算法和语言模型,将文本转化为视频剧情,加上配图、...
最新文章
