AI解開哥德巴赫猜想了嗎？興奮轉傳之前，三個流傳說法先查證

這兩天打開 B 站（bilibili），你大概也滑到那批影片：GPT-6 Astra 在哥德巴赫猜想上取得重大突破、24 天掃平 100 道世界級數學難題、無條件全範圍成立。標題一個比一個激動，單支影片的觀看數從幾萬一路衝到二十幾萬。同個平臺上，也有一批影片潑冷水，直接告訴你這還稱不上重大突破。

數學新聞和你有什麼關係？關係在於，我們每天轉進家庭羣組的健康訊息，用的是同一套聳動句型。趁這波熱鬧還沒退，剛好練一輪查證的基本功。

這批影片正在流傳的三個說法

先把數學細節放一邊，把影片說法拆開來看。

第一個說法：AI 已經證明哥德巴赫猜想，或者至少證明了弱化版，寫出通過 Lean 驗證的證明。Lean 是一種能把證明逐步檢驗的電腦工具，通過驗證的證明，和一句「我覺得證出來了」，可信度差很遠。所以「有 Lean 驗證」如果屬實，確實是值得注意的消息。

第二個說法：有影片整理 OpenAI 的一百多個數學成果與數學顧問團隊的成立，並把它包裝成數學這門學科即將被 AI 終結。

第三個說法最少被明講，卻最貼近一般人：連數學這種最難的題目都要被 AI 解開了，那以後身體有狀況、健康有疑問，直接問 AI 就好，何必花時間看醫師。

三個說法各有幾分事實的影子，也各有被誇大的部分。

畫面列出近期影片流傳的四個聳動說法，包含證明弱化版哥德巴赫猜想、寫出通過Lean驗證的證明、24天掃平100道數學難題，以及數學即將被AI終結的推論

弱化版離原始猜想，還有一段距離

哥德巴赫猜想從 1742 年提出至今，核心內容是「大於 2 的偶數都能寫成兩個質數的和」。這個原始版本到目前為止仍沒有被公認的完整證明，這是數學界公開的現況。歷史上最接近的結果，是 1966 年中國數學家陳景潤證明的「1+2」，距離終點依然差一步。

影片裡講的弱化版、核心前置命題，指的是範圍更小或條件更寬鬆的結果。這類進展可以是真的、有意義的，但標題若寫成「哥德巴赫猜想被證明了」，就是把兩件事混為一談。數學史上確實有先例：哥德巴赫猜想的弱版本，每個大於 5 的奇數都可寫成三個質數的和，在 2013 年由數學家 Helfgott 證明。這是真實的裏程碑，而且它有個老實的名字，就叫弱哥德巴赫猜想。

還有一個值得記住的舊案。歐拉的一個猜想撐了 197 年，最後被電腦找到反例推翻。電腦能驗證、能找反例，也能讓錯誤的證明看起來煞有其事。所以數學圈對「重大突破」的態度向來保守，要等同行審查、等其他人的重複檢驗。你在影片標題上看到的驚嘆號，通常跑得比檢驗流程快很多。

畫面中央標示197年，表示歐拉的猜想從提出到被電腦找出反例，總共經過了197年，用來提醒重大數學宣稱需要長時間檢驗

「掃平難題」這種句型，你其實很眼熟

「24 天掃平 100 道難題」這種句子，先把量級寫得很嚇人，再暗示質的跳躍。就算 AI 真的在短期內產出一批數學成果，離「數學被終結」也還隔著同行審查、重複驗證、應用到未知問題這一長串關卡。掃平是個動詞，而且是很會帶風向的那種。

同一套包裝你是不是很熟？三天見效、一秒排毒、醫師看了都搖頭。健康謠言的作法和這批影片高度相似：拿一個有幾分真實的核心，套上聳動的動詞，再把所有但書刪掉。你在這次事件裡練出的警覺，直接就能搬到日常的健康資訊上。

問 AI 健康問題可以，查證這一步不能省

第三個說法最值得認真看待。AI 回答健康問題確實越來越流利，但流利的句子和可靠的答案之間，隔著來源、日期、在地脈絡這三樣東西，這點和我們先前在OpenAI 訴訟新聞裡的 AI 健康答案問題聊過的一樣。

數學證明至少還能靠 Lean 這類工具逐步驗證，健康資訊的驗證往往更模糊。你可以把 AI 當成初步整理資料的助手，幫你把問題想清楚、把要問醫師的清單列出來。但涉及用藥、停藥、檢查報告的判讀，最後一關仍然是見得到你本人、看得到你病歷的醫師和藥師。

今天就能做的四個練習

查證聽起來麻煩，實際做起來都很短。

一、轉傳前停 60 秒。拿標題裡的關鍵字，加上「謠言」「闢謠」「查證」再搜一次。這波哥德巴赫影片就是最好的例子，吹捧和打臉的內容同時存在，多搜一步就能看到兩邊在講什麼。

二、看清楚主詞和範圍。「證明弱化版」和「證明猜想」是兩句話；「研究顯示」和「已證實」也是兩句話。標題越激動，你越要還原它本來的主詞、範圍和附帶條件。

三、記下來源再核對一次。影片是誰上傳的、多久以前的、有沒有附上可點開的原始資料。健康類訊息多加一條：查衛福部、食藥署或大型醫院的官方網頁有沒有相關說明。

四、設個停損點。這類「AI 神話」內容一支接一支，播放清單會自己長出來。睡前一小時別再追新進展，隔天該知道的還是會知道，先把睡眠顧好。

畫面列出轉傳訊息前可以依序完成的四個檢查動作，從關鍵字查證、確認上傳者與日期、尋找反方拆解影片，到健康問題先請教醫師藥師

長輩羣組的下一則震驚體，換你當查證那關

家庭羣組裡的長輩，常常就是被這類標題餵養最深的人。下次收到「震驚！某某東西被證實會致癌」的轉傳，處理順序可以照著我們整理過的長輩羣組健康謠言的停查處原則走：先停一下，再查證，最後決定回話、檢舉，或者靜靜放著。當著全羣糾正長輩，效果通常不如私訊分享一篇可靠的查核報告，語氣也溫和得多。

什麼時候該找專業

最後提醒兩種情況。

如果你因為某則網路說法，已經自行停藥、延後回診，或開始喫來路不明的產品，請把那則資訊帶去和原就診醫師或藥師討論，讓專業幫你把關，別讓標題替你做醫療決定。

如果你查健康資訊查到停不下來，反覆搜尋到半夜，焦慮和失眠持續超過兩週，影響白天上班上課，可以考慮找身心科或心理諮商談談。查證的目的是讓人安心，要是越查越累，代表方法該調整了，也代表該找人幫忙了。

AI 在數學上的進展值得關注，用正確的速度關注就好。慢一點轉傳，多查一步，你和你的家庭羣組，都會離可靠的資訊更近一些。