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