精选理由
数学家和 AI 研究者会震惊——AI 首次自主推翻了一个 80 年的数学猜想，做理论数学或 AI 推理的团队值得关注这个新范式。
OpenAI 宣布其 AI 模型在平面单位距离问题上取得突破，该问题由数学家 Paul Erdős 于 1946 年提出，近 80 年来数学家认为最优解近似于正方形网格。AI 模型自主发现了一类全新的构造，性能更优，推翻了这一长期信念。这是 AI 首次独立解决一个数学领域的著名开放问题，标志着 AI 在数学研究中的里程碑。
AI 翻译 · 中文
OpenAI 宣布其 AI 模型在平面单位距离问题上取得突破，该问题由数学家 Paul Erdős 于 1946 年提出，近 80 年来数学家认为最优解近似于正方形网格。AI 模型自主发现了一类全新的构造，性能更优，推翻了这一长期信念。这是 AI 首次独立解决一个数学领域的著名开放问题，标志着 AI 在数学研究中的里程碑。
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like s…