当AI证明了自己：80年悬而未决的数学猜想被机器终结 2026年6月，OpenAI的研究团队投下了一枚震撼数学界的"炸弹"——其内部AI模型独立发现了一个著名数学猜想的反例，推翻了匈牙利传奇数学家Paul Erdős在1946年提出的平面单位距离问题（Erdős问题90）的核心假设。这是AI首次自主
2026-06-18