YC科技资讯网

当数学人说:“这让人很难睡得着 bro” 而不是生意人说这话的时候 “Ope

当数学人说:“这让人很难睡得着 bro”
而不是生意人说这话的时候

“OpenAI 在一个非常著名的组合数学问题——Erdos 1946 年的平面单位距离问题上取得了突破。

这个问题很了不起,因为它可以用给一年级小学生解释的方式来描述:找到一种方法,将 n 个点放置在平面上,以最大化距离恰好为 1 的点对数量。

例如,如果你将 n=4 个点放在一个边长为 1 的正方形上,你会有 4 对距离为 1 的点。对角线的长度是 sqrt(2),所以不算在内。
但是你可以挤压一条对角线,创造出一个点集,n=4 个点,有 5 对距离为 1 的点。而且你无法从 n=4 个点中得到超过 5 对距离为 1 的点,所以 n=4 个点就完成了。

现在,如果你将 n 个点放在一条直线上,你会有 n-1 对距离为 1 的点。一般来说,所有已知的 n 个点构造,其点对数量基本上是线性增长的:n^{1+something vanishing}

似乎这个模型找到了一种方法,将 n 个点放置在平面上,使得它们的单位距离呈超线性增长:像 n^{1+delta},其中 delta 是某个*常量*。Delta 显然没有明确指定,但 Will Sawin 即将发布的细化版本显示 delta=0.014 可行,根据公告。

这对数学来说是令人难以置信的进步,因为这是一个(不同于之前由 AI 解决的 Erdos 问题)重大突破,在组合几何中最受研究的问题之一。如果你现在从事数学研究,你会感受到 AGI 的存在。
Lijie Chen 在视频中诚实地说道:
“很难入睡啊,伙计”