62页手稿曝光，AI独立撰写

今日, OpenAI公布了一份有着62页之长的核心手稿, 其名字称作《How the Ideas Came》, 此文档详尽记录了GPT是怎样一步步推导出数学难题的解法的, 并且整个过程都是由AI独立达成的，人类团队全然没有进行插手。

这份手稿摘要篇幅短小, 然而其所蕴含的信息量却极为惊人。AI对原始思维链以及最终形成文字的数学论文有过精准读取, 之后对于每一道题目, 都分别重构出了四个主旨要点: 哪些对应方法遭遇了阻碍, 什么样的视角变换致使结构得以显现, 具有决定性引导作用的深刻见解是通过怎样的方式构建起论证的。

高维球体堆积，46年难题被攻克

最受关注的, 是十道题里的高维球体堆积问题, 把同样大小的球往箱子里塞, 最多能塞到什么程度呢? 三维空间的答案早就有了, 是以水果摊上垒橙子的那种方式呈现的, 然而到了几百维、上千维的时候, 人类仅仅只能给出一个上界。

卡在0.5991的这个上界的指数, 自1978年起算, 历经46年未曾有实质推进状态。Astra直接把有惊人突破之称的密度上界, 推至2的负0.6044次方 , 就此出现这一情况句号。

视角切换，突破传统方法的局限

AI一开始计划采用Cohn线性规划方式, 借助估计函数负质量去求解, 然而仅仅能够达成半径为√d/(2√π)便陷入困境。它断定阻碍并非常数未优化到位, 却是全局范数根本无法记住负质量所处位置。

于是Astra更换了视角, 转而采用傅里叶变换并加上调和测度。对于径向函数而言, 傅里叶变换本质上属于汉克尔变换, 其核仅仅依赖于空间半径与频率半径的乘积。那个相位因子在实轴上模长始终等于1, 唯有在复平面上进行延拓的时候才会携带高维信息。

非sofic群，27年谜题迎解

关于第二道热题, 它是那种历经27年都没人构造出来的非sofic群。曼彻斯特大学的数学家Bloom觉得, 此情形在重要程度方面比之前的单位距离猜想反例还要突出。通俗来讲, 其内容是去探究一个无限抽象结构可不可以借助有限洗牌操作来进行近似模拟。

阿斯特拉给出了显式构造, 证实了存在无限同时也是有限表现的并非索非克群的群。所著手稿之内最具价值之处, 便是详实写明了实际陷住的地方, 也就是多同于一之间的关键错配情况, 那些近似成为中心的事物能够在各个分量之间来回跳动, 根本就没法抓住。

从小学应用题到数学史答案

在五年之前的时候, AI 还在 GSM8K 小学数学应用题里, 磕磕绊绊地前行着, 在 GPT – 2/3 那个时期, 就连草就一封邮件都显得十分勉强。仅仅是短短的几年时间, 大规模强化学习呈现出狂飙突进的态势, 曾经那些技术方面的死胡同被一个一个地给击碎了。

于今日而言, 价值两千美元的Token已然换成了需考量十份可能被载入数学成就史册的答案。强化学习领域颇具影响力的Mo是在2021年的时候公开了GSM8K, 试问当时又有谁能够料到几年之后人工智能竟然可以成功攻克类似高维球体堆积这般的难题呢?

AI数学突破意味着什么

该份手稿予以公开, 这表明AI实现了从辅助工具朝着独立研究者的转变。它并非仅仅能够来解题, 就连所构成的思路也可以进行重新构建, 还能够识别出障碍, 并且能够切换视角, 甚至于能够给出人类从来都未曾想出过的证明路径！

要是AI着手独自去撰写数学方面的手稿, 那么人类数学家所扮演的角色会产生怎样的改变, 是进行合作还是处于竞争状态, 这样的一些问题是值得每一个人去作深沉思考的。而关于倘若AI在未来会将数学家给替代掉吗这个疑问, 你是怎么认为的?