GPT-4野生代言人陶哲轩：搞论文学新工具没它得崩溃！11页“超简短”新作已上线
陶哲轩对GPT-4有多大的喜爱？这回，不止写论文做研究，学新工具时他也离不开它了。就在今天，他的又一篇成果上线，关于麦克劳林不等式。为了更好地展现其成果，48岁的他开始学习Lean4（一种可作为交互式定理证明工具的函数式编程语言）。他自述，随着学习该语言“关卡难度”的增加，GPT-4又能帮大忙了——如果没有它帮我解决各种微妙的语法问题，你都无法想象我有多崩溃。不愧是GPT-4的“野生代言人”。至于这次的论文，陶哲轩表示：需要进行改写的内容是：非常简短，只有11页。而且使用的方法非常基础，只需要本科水平的微
陶哲轩对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 但是请注意，当k=1，n=2时，它就是算术平均-几何平均不等式了： 一般情况下，我们可以通过许多标准操作从上述特殊情况中推导出这种不等式的一般情况 为什么可以？这主要归功于罗尔定理（Rolle’s theorem）。 但陶哲轩指出，关键点是是该运算保留了直到Sn-1为止的所有基本对称均值。 接下来，我们可以将麦克劳林不等式视为提供n变量上的算术平均-几何平均不等式的改进版本（当k=1，ℓ=n时）。 不过，牛顿不等式适用于任意实数yi ，一旦允许一个或多个yi为负，麦克劳林不等式就会“崩溃”。 但鉴于当n为偶数时会出现一个关键示例：yi的一半等于+1，一半等于-1。 我们就可以验证基本对称均值sk中当k奇数时“消失”，为偶数时则等于： 特别地，一些常规估计可以得出量级界限（公式a）： 需要重新写作的内容是：问题又来了，由于当0 另一方面，其他数学家还观察到，如果两个连续值都很小，这会导致所有后续值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
蓝海书屋查看阅读时长的五种专业方法 “蓝海书屋的阅读时长到底在哪看？”最近这个问题确实被问得挺多。其实，掌握阅读时长不仅能帮你回顾自己的阅读旅程，更是管理阅读习惯、完成目标的好帮手。下面，咱们就系统梳理一下在蓝海书屋查看阅读时长的五种方式，操作清晰，一目了然。 官方入口在这里，有需要的可以先行访问：
126邮箱网页版登录入口与使用全攻略 还在到处搜索126邮箱的登录入口？其实答案很简单：官方登录地址就是 https://mail.126.com。记住这个网址，通过浏览器直接访问，就能进入我们熟悉的登录界面了。 下面，就为大家详细拆解一下从登录到高效使用的完整流程，无论是电脑还是手机，都能轻松搞定
百度地图网页版官网入口是https://map.baidu.com；支持全国街道级矢量底图、680万+POI、实时路况、多方式路线规划、自然语言检索及深度工具集成。 要使用百度地图的网页版，入口在哪里？其实答案很简单，直接访问 https://map.baidu.com 即可。这个链接背后，是一个功
如果您正在寻找阿里巴巴1688的官方商家登录入口，请认准这个唯一的官方网址：https://www.1688.com。这里是所有商家进行采购、店铺管理与批发交易的核心官方通道。通过此入口，您可以安全、高效地开启数字贸易之旅。 网络上可能充斥着各种引导链接，例如“阿里巴巴批发网1688入口☜☜☜点击进
企查查网页版官方入口与核心功能解析 企查查网页版官方入口是https://www.qcc.com，提供企业信息检索、关联图谱、行业分析及数据服务四大核心功能。 关于企查查网页版如何进入，以及它能提供哪些关键服务，不少朋友都希望获得一个清晰的指引。接下来，我们就系统地梳理一下企查查的官方入口及其几项核
Boss直聘自我评价需紧扣岗位JD、量化成果、叠加精准身份标签、替换低效话术，并确保首句90字符内承载核心竞争力。 在Boss直聘平台，一份简历的自我评价部分如果缺乏抓力，往往意味着错失了黄金10秒。问题通常出在内容过于泛泛，没能精准对接招聘方的即时需求。那么，如何让这段文字成为你的“黄金广告位”？
Windows 10 是一款微软推出的经典操作系统，拥有硬件兼容性与多任务处理能力。它更偏向把系统状态查看和常用调节动作放在一起，适合需要持续观察和微调设备状态的场景。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
