作者jackliao1990 (j)
看板Gossiping
標題[爆卦] GPT證明劉維爾版哥德巴赫猜想
時間Tue Sep 22 20:44:31 2026
https://arxiv.org/html/2404.12117v2
1742年哥德巴赫在歐拉的信中猜測："大於2的偶數都可以寫成兩個素數之和。"
2018 年有人在MathOverflow 上提出哥德巴赫猜想弱化版："每個大於 2 的偶數 N是否總
能拆成 a+b且λ(a)=λ(b)=-1？"
其中λ(n)為劉維爾函數
若一個數包含的質數塊個數是偶數則λ(n)=1
若包含的質數塊個數是奇數則λ(n)=-1
此問題試圖探究乘法結構（質因數分解）和加法組合（拆成兩數之和）間有沒有秩序
2024年Alexander P. Mangerel 證明：若廣義黎曼猜想是對的則對於所有足夠大的偶數
此猜想成立
Captain Sude使用Astra研究這難題
Astra只用
兩頁pdf就解決了
而且不需用到廣義黎曼猜想
Astra在第一天證明了4的倍數情形
第二天它還把結果推廣到全部大於2的偶數
過程中沒有暴力窮舉也沒把先前解析估計壓縮得更緊
而是作出漂亮的結構轉換
AI先證明對於每個大於3的質數p 都存在正整數u,v使得2p=u+v且它們的劉維爾值都是1
如果不成立就構成加法符號模式的缺失
AI接著把劉維爾函數延拓到有限域Fp上並定義函數G
因為前面加法分解不存在
G在局部被逼出乘法對稱性缺陷
這時AI利用交換率讓兩條路徑互相抵消
最終把所有非零缺陷全部消掉
接著AI利用一個條下降引理把局部成立的乘法規則傳播到整個有限域再強迫G變成全域嚴
格的乘法物件
既然G變成了嚴格乘法函數
那麼任何數的平方的G值必須是1
然而根據二次互反律
能在有限域內找到一個質數l
l是平方數也是質數
其劉維爾值又必須是-1
於是1 = -1
矛盾
這表明一開始 分解不存在 的假設 是錯的
劉維爾－哥德巴赫猜想在全偶數域無條件成立
此證明已通過Lean4形式化驗證
它為數論搭起一座打通乘法積木與加法組合的橋樑
這或許是未來攻克哥德巴赫猜想的鑰匙
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.82.191.137 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Gossiping/M.1790081073.A.91B.html
1F：推 y9111116: 去年有想到過 111.241.199.29 09/22 20:44
2F：推 LoveSports: 數學家好可憐 46.231.167.51 09/22 20:45
3F：推 Despairile: 這有點厲害欸 描述上也不是暴力拆解 122.116.55.77 09/22 20:45
4F：推 jhjhs33504: 給Astra加一隻雞腿 36.228.10.47 09/22 20:46
5F：推 reesion: 恩恩 跟我想得差不多 175.180.83.118 09/22 20:47
7F：→ DarkerDuck: lean證明是啥碗糕，數學家不認同 122.121.165.28 09/22 20:47
8F：→ error405: 以後就不是新聞了 每天都能出幾個 220.141.27.4 09/22 20:48
9F：→ lastphil: 數學家不是才剛集體破防說明明沒有證明 1.161.136.198 09/22 20:49
10F：→ chirex: 看不懂 122.118.47.75 09/22 20:49
11F：→ miloisgood: 又偷幹誰的聊天紀錄 36.232.60.59 09/22 20:57
12F：推 BBQ2591: 嗯嗯 跟我想的一樣 27.53.34.147 09/22 21:01
13F：→ mokumoku: 這題我也是這麼猜想111.246.147.210 09/22 21:02
14F：→ NoteEdge: 可惡 我跟我的研究生就差一點了 36.224.141.119 09/22 21:03
15F：推 g1254501: 這個我上個月和他聊天時被他幹走的訓練 36.233.37.87 09/22 21:10
16F：→ g1254501: 資料 36.233.37.87 09/22 21:11
17F：→ alexwu105: 我之前也是這樣想，可惜筆記本找不到 58.114.13.13 09/22 21:17
18F：推 LoveSports: 大家已經習慣GPT解開超難數學題 幫推 46.231.167.72 09/22 21:21
19F：→ LoveSports: 雖然不知道這是什麼 46.231.167.72 09/22 21:21
20F：推 goodyW: 為什麼看完頭有點痛?? 114.39.18.120 09/22 21:26
21F：推 jkkkj123: 媽耶 這描述 作者 記者是有看懂嗎 1.175.126.243 09/22 21:42
22F：噓 gameguy: 這麽厲害怎麽黎曼定律不證一證，遜砲AI 223.137.48.75 09/22 21:48
23F：推 mikiji: 嗯嗯 跟我想的一樣 114.45.56.182 09/22 22:31
24F：推 oddtong5566: 跟我想的差不多 114.40.179.154 09/22 22:34
25F：推 rhox: 我前幾天才跟他聊這個，GPT又偷我想法 1.162.103.156 09/22 23:26
26F：推 overpolo: 啊？你們要用到黎曼喔 125.229.62.156 09/23 08:45