**OpenAI重磅发布：AI以2000美元攻克十项菲尔兹奖级数学难题**
今天，OpenAI正式公布了一份长达62页的核心手稿，详细展示了其下一代主力模型在数学证明上的完整推演过程。官方正式确认，这一惊人突破的幕后功臣正是该模型。若按照GPT-5.6 Sol API的计费标准计算，完成这一系列证明所消耗的Token成本仅为2000美元。
这份名为《How the Ideas Came Together》的手稿一经公开，立即在全网引发热议。许多人猜测，这便是传说中的GPT-6。更有甚者惊叹，仅花费2000美元就解锁了十个历史级成就。
**AI独立重构思维链**
两天前，OpenAI内部员工曾发布博客，称下一代模型Astra攻克了十大数学难题，震惊了所有人。当时官博挂出了249页的论文合集和Lean 4形式化证书。而今天，这份62页的手稿正式公开，详细阐述了这些想法是如何汇聚在一起的。
手稿摘要信息量巨大：这份笔记完全由AI模型独立撰写，OpenAI团队未做任何干预。AI阅读了原始的思维链以及最终的数学论文，针对每一道题重构出四个关键要素：最初指引方向的思路、看似有分量的方法撞上的障碍、视角切换后显露的底层结构、以及决定性洞察如何构成最终论证。
**高维球体堆积：46年的突破**
在这十道题中，全网关注度最高的是“高维球体堆积”。抛开晦涩的术语，问题本质通俗易懂：往一个箱子里塞满相同大小的球，最多能塞多满？三维空间的答案早已知晓，即水果摊“垒橙子”的堆法。但到了几百维、上千维，人类只能给出一个“上界”，且该上界卡在0.5991上，整整停滞了46年。
Astra直接将其推至0.6044005442916776954……，密度上界写成2的负0.6044次方。它是如何突破的？首先，Astra在推演中确定了Cohn-Elkies线性规划方法的极限。最初尝试用Cauchy-Schwarz估计函数负质量，仅能做到半径√d/(2√π)。卡住后，AI判断障碍在于全局范数记不住负质量落在哪里，于是决定更换视角，改用Mellin变换及调和测度。
原因在于，对径向函数而言，傅里叶变换本质是Hankel变换，核依赖空间半径与频率半径乘积。在Mellin侧，这变成了简单的反射加显式相位操作。那个相位因子在实轴模长恒为1，但在复平面延拓时，携带了范数不等式丢失的高维信息。极限处，调和测度收敛成logistic密度，对数位势精确等于digamma函数，积分得log(π/2)，从而得出1/π阈值。
一个细节证明AI思路清晰：调和测度总质量为(1-σ)/2，而非1。若过早换成概率密度，会改变指数常数。下界确定后，还需构造达到该密度的函数。利用高斯的傅里叶对称性，通过偶形变移动鞍点，吃满阻尼后得到“理想剖面”。其鞍点位移积分通过Wallis乘积计算，正好等于-(1/2)log(π/2)，将高斯半径1/√(2π)精确搬至1/π，与上界对齐。手稿中还提到，构造辅助函数时，远处需在整区间补正阻尼，而非单点，以免撞上共振频率。
**非sofic群：27年的突破**
第二道热题是27年无人构造出的“非sofic群”。曼彻斯特大学数学家Thomas Bloom直言，这比之前的单位距离猜想反例更重大。Sofic群概念由阿贝尔奖得主Gromov于1999年提出，意为无限抽象结构能否被“足够大的有限洗牌操作”近似模拟。Astra给出了显式构造，证明存在无限有限表现的“非sofic群”。
手稿核心在于解释“多”与“一”的错配。Kun定理给出多个扩张图，而Kun-Thom定理需要单个。AI指出这是关键难点，并举例说明为何不能随便挑：在两份完全相同的Q并起来上，“交换两份”操作与扩张的K作用精确交换，但不保持任何分量，导致“近似中心的东西”在分量间乱跳，无法捕捉。
修正平均治好了谱问题，却治不了“选哪个分量”。AI曾尝试对数分箱和有界中位数比较，失败后总结出原则：要平均的必须是分量规模的有界单调函数，绝不能是无界规模本身。最终方案是在每个环境扩张分量A里取顶点加权中位数m_A，定义f(x) = M(x) / (M(x) + m_A)。此函数在0和1之间，且在A上中位数为1/2。
此函数将失控量变为受控量。生成元是置换，总和为零，每步最多微调，两边被压成可忽略。按高度切开、对小的一侧用扩张性，两头一夹，f几乎处处等于1/2。最后，对剩余一小片区域，AI采取反直觉策略：挑尽可能大的坏区域整个扔掉——正因为最大，反证其小到可忽略。Gromov的问题，27年后有了答案。
**奇点前夜**
手稿公开后，OpenAI强化学习大佬Mo Bavarian发帖感慨这是一个“超现实”时刻。2021年团队放出GSM8K数据集（8500道小学数学题），当时GPT-2/3连小学题都做不稳。短短几年，大规模RL狂飙突进，击碎无数技术死胡同。Bavarian表示，这一刻比任何时候都更像“奇点前夜”。从小学应用题到菲尔兹奖级答案，AI的进化速度令人咋舌。