【AI推翻80年的几何猜想】

如果在平面上放下 n 个点，最多能有多少对点的距离正好等于 1？这个“单位距离问题”由数学家 Erdős 在 1946 年提出。80年过去了，人们普遍认为把这n个点排列成方格是差不多最好的解法。5月20日，OpenAI 宣布，他们用一个内部推理大模型推翻了这一猜想，并构造出一族新的例子，让单位距离对的数量获得多项式级改进。这是首次有数学子领域中的关键问题被人工智能自主解决。

参考文献：An OpenAI model has disproved a central conjecture in discrete geometry， 2026.5.20， OpenAI blog.
#人工智能##ai创造营##OpenAI#