OpenAI 近日宣布，其內部通用推理模型已自主推翻匈牙利數學家 Paul Erdős 於 1946 年提出的「單位距離猜想（Unit Distance Conjecture）」，並完成長達 125 頁的完整證明。這項成果若最終獲得數學界全面確認，將成為 AI 首次在沒有人類逐步引導下，自主解決核心開放數學問題的重要里程碑。 《詳全文...》