流浪数学家 Erdős 留下的问题，正在被 AI 公司疯抢

OpenAI 的一个未公开模型推翻了匈牙利数学家 Paul Erdős 在 1946 年提出的单位距离问题猜想，原文称这是人工智能首次自主解决数学领域的核心著名未解问题。