OpenAI 貼出 GPT-5.6 Sol Ultra「證明」雙重覆蓋猜想的 PDF，數學圈開查

OpenAI 放出一份 PDF，內容聲稱它的旗艦模型 GPT-5.6 Sol Ultra 產出了一項數學證明，對象是圖論裡的「循環雙重覆蓋猜想」（Cycle Double Cover Conjecture）。這是一個提出數十年、至今懸而未決的著名難題，消息一出立刻登上 Hacker News 熱門並引來數學社群圍觀。

先把猜想講白一點：它大致是說，在任何一種沒有「橋」的連通圖上，都能找到一組迴圈，讓每一條邊剛好被兩個迴圈覆蓋到。聽起來單純，但它跟圖論裡許多深層結構有關，數十年來吸引大量頂尖數學家嘗試，始終沒有被完整證明。若真的被解開，本身就是純數學界的大事。

真正的重點在驗證，而不是宣布。AI 產出的數學證明過去多次出現「看起來對、細看有洞」的情況，模型很會寫出格式漂亮、語氣自信的推導，卻可能在某個關鍵步驟悄悄跳過或出錯。所以這份 PDF 現在只能算「待驗證的宣稱」，接下來要靠數學家逐行檢查、最好能用形式化證明工具（如 Lean）機器驗證，通過了才算數。這也呼應今天另一篇 Linear Attention 論文的精神——AI 能力的進展，最終要攤在可複現的檢驗上。

歸剛點評：如果這份證明扛得住同儕逐行檢查，那是 AI 從「幫人算」跨到「自己證」的里程碑，值得放鞭炮。但在數學家點頭之前，先把興奮壓一半——模型最擅長的就是把話講得斬釘截鐵，越是漂亮自信的證明越要當心。這條新聞真正的結局，要等驗證那一關揭曉。