AI 解决 Erdős 经典难题：unit distance 猜想出现反例

2026 年 5 月 20 日，OpenAI 宣布其内部 AI 模型找到了 1946 年 Paul Erdős 提出的 unit distance 猜想的反例。该猜想由 Erdős 在 1946 年提出，是简单却长期未解的著名问题。