困扰人类80年的数学难题被AI破解了
OpenAI宣布：其内部一个通用推理模型，自主推翻了“平面单位距离猜想”——这道由匈牙利数学家保罗·Erdős于1946年提出的几何难题，困扰数学界整整79年。这个问题本身说起来并不复杂：在平面上随机放 n 个点，最多能有多少对点之间的距离恰好等于 1 ？这就是 “平面单位距离问题”。数学家们长期认为，最优解大概长这样：把点排成一个正方形网格，然后按比例缩放，这样能产生大约n1+C/loglognn1+C/loglogn对单位距离。这个增长速度只比线性快一点点。Erdős猜测不可能有构型能显著超越方格网格。但OpenAI的模型给出了一族新的点集构型，对无穷多个n值，单位距离对数达到了 n1+δn1+δ，其中δ是一个固定的正数。也就是说，它不仅超越了方格网格，还把Erdős的猜想直接推翻。
—— 华尔街见闻
OpenAI宣布：其内部一个通用推理模型，自主推翻了“平面单位距离猜想”——这道由匈牙利数学家保罗·Erdős于1946年提出的几何难题，困扰数学界整整79年。这个问题本身说起来并不复杂：在平面上随机放 n 个点，最多能有多少对点之间的距离恰好等于 1 ？这就是 “平面单位距离问题”。数学家们长期认为，最优解大概长这样：把点排成一个正方形网格，然后按比例缩放，这样能产生大约n1+C/loglognn1+C/loglogn对单位距离。这个增长速度只比线性快一点点。Erdős猜测不可能有构型能显著超越方格网格。但OpenAI的模型给出了一族新的点集构型，对无穷多个n值，单位距离对数达到了 n1+δn1+δ，其中δ是一个固定的正数。也就是说，它不仅超越了方格网格，还把Erdős的猜想直接推翻。
—— 华尔街见闻
