當 AI 第一次提出「原創數學洞見」：OpenAI 內部模型攻破懸置八十年的 Erdős 幾何猜想

有一類數學問題，小學生就能聽懂題目，幾代頂尖數學家卻解不開。Paul Erdős 的「平面單位距離問題」正是其中之一——它的題面簡單到可以寫在餐巾紙上，它的答案卻在懸置近八十年後，由一個並非為數學打造的 AI 模型，第一次被撬開了一道縫。

五月二十日前後，OpenAI 公布：一個內部的通用推理模型，自主推翻了離散幾何中一個長期被視為「幾乎已成定論」的核心猜想。這個結果之所以值得一篇深度文章，不在於它解開了某道難題——數學界每年都有難題被解開——而在於它逼我們重新面對一個問題：當機器開始提出原創的數學洞見，「原創性」這件事，還屬於人類獨有嗎？

一道餐巾紙上的問題