北京
瑞士洛桑联邦理工学院的Domagoj Bradač上个月往arXiv.org扔了一篇预印本，整个组合数学圈都炸了。他把拉姆齐数的一个关键上限压到了一个此前没人敢想的区间，那道拦了数学家几十年的墙，就这么被推倒了。更魔幻的事还在后面——几周后，OpenAI的一个推理模型，像是顺手帮人类扫了个尾，把他结果里残留的那一点不确定性也给抹平了。一场横跨九十年的搜寻，收尾收得如此突然。
咱们先往回倒一步，这里头到底在找什么。拉姆齐理论干的活儿就一个：在一片看似随机的网络里，秩序到底藏在哪里。换个更准的说法——你在往一个系统里塞混乱时，最多能塞多少，秩序就一定会自己冒出来。这套框架描述的东西遍布你身边的一切，社交网络里谁能跟谁搭上线，航线图里哪两个城市对飞，甚至分子结构里原子怎么牵手，全都能抽象成点和线组成的图。图一大，麻烦就来了，里头迟早会出现两种极端结构：要么冒出一个谁都认识谁的铁杆小圈子，数学上叫“团”；要么凑出一大票老死不相往来的孤岛，叫“独立集”。问题是，图到多大，这事儿必然发生。
要回答这个问题，就得碰拉姆齐数。拿社交网络打个比方，R(3,10)这个数，告诉你一个网络最多能装多少人，再多一个人，就必然出现三种情形之一：要么有三个共同好友，要么有十个人彼此八竿子打不着。听着不复杂，但真要算出来，地狱级难度。数学家到现在为止，精确解出的拉姆齐数不到三十个。就连R(3,10)这种看起来没多大的，至今没人知道到底是多少。现实就是大家退而求其次，不追精确值了，改成围追堵截——证明某个数一定落在上下界之间的某个位置。
Bradač这次瞄准的是“非对角拉姆齐数”。对角和非对角什么区别？回到R(3,10)，3和10差得挺远，这就是非对角。但数学家的野心可不止于此，他们把那个“三个人互为好友”的条件锁死不动，然后拼命拉高另一头——不问R(3,10)了，改问R(3,100)，再问R(3,1000)，一路往大里推。与其一颗一颗摘那些够不着的葡萄，不如摸清这一整串葡萄藤是怎么长的。Bradač干的事，就是在这些非对角拉姆齐数的上界上加了一把从没人能加上的锁。
最让圈子里兴奋的，不光是这个结果本身，而是OpenAI那个半路杀出来的模型。Bradač已经把不确定区间压缩到了极限的边缘，剩下那点缝隙，本来以为还得磨上好一阵子，结果一个推理模型直接把它合上了。整个过程像极了一场接力赛，人类选手跑完最难的那几棒，把棒交出去，机器用谁都没想到的速度冲过了终点线。这倒不是说数学以后不用人做了，而是当一个问题的结构被拆到某种粒度之后，推理类AI能钻进去的地方，远比之前预计的深得多。
九十年的拉锯，最后收官的声儿轻得有点不像话。一篇预印本，一次意外优化，把随机性和结构之间那道始终雾蒙蒙的边界，往清楚的方向狠狠推了一把。那批还在没日没夜死磕R(3,10)的数学家，大概心情复杂——挡住他们的那扇门，忽然就从另一侧被捅开了。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
