2026年5月25日，全球人工智能领域迎来历史性时刻：OpenAI内部推理模型独立证明了离散几何学中悬宕约八十年的Erdos单位距离猜想，该证明经外部数学家验证后确认有效。
这并非AI协助人类证明的传统范式，而是一个内部模型独立产生可验证数学步骤、并获得学界认可的开创性案例。这一事件标志着AI科学推理能力发生了质的飞跃。
Erdos单位距离猜想是匈牙利数学大师保罗·埃尔德什（Paul Erdos）于1945年提出的经典问题，涉及在平面上分布的点之间单位距离的出现频率。八十年来，无数数学家尝试攻克这一难题均未果。
AI独立完成数学证明的意义重大：它证明了AI不仅能处理语言和图像，还能进行严格的数学推理。这一突破为AI在材料科学、密码学、药物研发等需要严密推理的领域的应用打开了大门。
消息来源：contentplatform.info、维基百科（2026年5月25日）
