AI破解艾狄胥數學猜想與研究防護機制

2026年5月20日，OpenAI的研究人員利用通用大型語言模型，成功推翻了數學家保羅·艾狄胥（Paul Erdős）於1946年提出的『單位距離問題』（Unit Distance Problem）猜想。該AI模型在未經特殊引導下，透過代數與數論工具構建出反例，證明了該猜想並不成立。此突破展示了AI在跨領域數學研究中的潛力，但也引發了學界對於AI數學研究透明度、可驗證性及倫理規範的擔憂。 儘管此成果被視為數學領域的重大進展，但專家指出，該AI的運作模式更傾向於透過大量嘗試與耐心運算，而非具備人類數學家那種創造性的洞察力。目前學界對於AI生成的數學證明是否可靠、如何歸因以及是否會導致數學研究走向封閉化，仍存在高度爭議。 針對AI在數學研究中的應用，截至2026年6月5日，已有1,590名專家簽署宣言，呼籲為AI數學研究建立嚴格的防護機制。專家強調，AI生成的證明若缺乏透明度與可解釋性，將難以被人類驗證，甚至可能產生錯誤的邏輯推論，這對數學研究的嚴謹性構成了挑戰。 對於使用者而言，此事件標誌著AI已成為數學研究中不可或缺的工具，但同時也提醒研究者在依賴AI時，必須保持批判性思維。未來數學研究的發展，將取決於如何平衡AI的運算效率與人類對數學真理的嚴謹驗證，並確保數學知識的開放性與民主化。