1946 年，数学家 Paul Erdős 提出了单位距离问题，并提出了获胜策略。人工智能模型现在已经有了更好的模型。为什么人类没有先到达那里？
An AI solution to an 80‑year‑old problem has shocked mathematicians
平面上点对以单位距离间隔的新最佳排列的一种表示形式。图片来源：阿尔瓦罗·洛萨诺-罗夫莱多。作者：莫纳什大学 Melissa Lee 上周，OpenAI 透露其内部人工智能 (AI) 模型之一找到了著名的 [...]
该领域最接近解决平面单位距离问题的时间是 1984 年，该问题于 20 世纪 40 年代首次提出。现在，OpenAI 声称内部模型已经破解了这个难题。
AI just solved an 80-year-old ‘Erdős problem,’ and mathematicians are amazed
聊天机器人对 80 年前的“单位距离”猜想的结果是第一个人工智能证明，如果人类单独完成的话，很可能会在数学顶级期刊上发表
