九龍治水1 分鐘前 184
9 頁
[突發] 特朗普宣佈參選2028美國總統大選
突發
老貓再世_剛剛 -20
2 頁
積金局7月底起加強核實提取MPF申請:包括滿65歲都必須多重認證
新聞
ゑゐヱヰ2 分鐘前 0
1 頁
笑死!日本警方誤拘捕尼泊爾男子、因不知在留卡已更改新版本!
新聞
慘過番印度2 分鐘前 -40
2 頁
岩岩睇新聞,個記者姓老
突發
傑志總領隊2 分鐘前 202
3 頁
博愛女醫生院內身亡 遺書曝光死控上司醫療失誤及向家屬隱瞞
JR東日本2 分鐘前 -23
1 頁
九號風球下 尖沙咀天星碼頭追風內地遊客:風力比想像中弱
新聞
金正男3 分鐘前 -23
2 頁
38歲大齡剩女吐槽:相親十幾次,就因為這幾個條件被全部拒絕!條件一點都不高,只是保護女性婚後生活
程詠樂3 分鐘前 -38
6 頁
點解香港唔比人用電動單車,大陸就得
社評
東升西降3 分鐘前 -6
1 頁
國泰唔夠飛機唔夠人學咩人開航空公司呀
金波羅大波羅5 分鐘前 -1
1 頁
打風大家唔好四圍走了 個鐵閘
突發
浴火重生火鳳凰5 分鐘前 -19
4 頁
無子宮卵巢月經 26歲深圳女檢查 揭生物學屬男性
希特拉愛治猶剛剛 179
7 頁
一人一個曾經形象好好你以為佢係好人但後來揭發佢係仆街既人
極速神驅6 分鐘前 -5
1 頁
香港警方前日舉行「雄志」反恐演習 模擬多名「恐怖分子」闖入中央圖書館
突發
Jessicacindy1 分鐘前 0
2 頁
香港天文台:考慮在中午12時至下午2時改發三號強風信號 (2026-07-26)
突發
會員2718296 分鐘前 2
1 頁
颱風紅霞 籃球架被颳倒 高層樓房晃動 廣東全省轉移逾71萬人
芝麻仁冇蘑菇4 分鐘前 12
1 頁
伊朗:「每有一名公民死亡,必打擊一名美軍」
丁長8 分鐘前 69
3 頁
中國線上旅遊平台巨頭「攜程」被罰沒51億
新聞
要靜去自修室啦屌8 分鐘前 132
7 頁
意大利遊客泰國地鐵嗆聲:我們是來花錢的!
老貓再世_8 分鐘前 -22
3 頁
患肝癌港人最終在廣州的醫院找到肝臟移植 「香港等待移植肝臟的人多得很 根本完全不足夠」
新聞
芝麻仁冇蘑菇9 分鐘前 59
3 頁
內地客讚:港鐵無安檢極安靜
會員27182910 分鐘前 -2
1 頁
丁薛祥斥拒用國產晶片是叛徒 中國全力谷自研 AI 晶片
紫式ぼう11 分鐘前 64
8 頁
突發!日本入管廳提出嚴格化方案 外國人永住許可加入要求厚生年金30年水準!
突發
Jessicacindy剛剛 -1
1 頁
香港天文台:下午12時40分改發三號強風信號 (2026-07-26)
突發
雞包紙11 分鐘前 14
10 頁
[阿嬤的仆街子孫]廣東揭陽4男童亂棍虐母子幼狗淋汽油活燒 (4)
新聞
唔鍾意著衫剛剛 2
1 頁
慘!日本人說台灣人骨子裡是中國人
求不得.14 分鐘前 -29
1 頁
揭陽殺狗根本係小事
芝麻仁冇蘑菇15 分鐘前 -10
1 頁
大公報:「港獨」瑟瑟發抖 中國公安與FBI加強合作
城大品鮑師17 分鐘前 176
10 頁
原來旺旺燒狗單野係內地都好爆
會員27182918 分鐘前 0
1 頁
進化版「淨飲雙計」? 茶記出招「淨食罰$10」 變相逼嗌飲品 食客爆背後隱情:為咗對付呢種人
口德會低級會員19 分鐘前 1
1 頁
天文台凌晨1時1o分發九號烈風或暴風風力增強信號 (2026-07-25)
不管五毛的連登20 分鐘前 -1
1 頁
我發現今次打風好似少咗傻佬出去追風
社評
極速神驅21 分鐘前 -13
1 頁
陳國基:各部門風暴來臨前已貫徹「超前部署」原則
突發
會員27182926 分鐘前 124
7 頁
上海交大試驗「基因編輯」注入脊髓液 6歲語言遲緩女童身亡
6.16HK27 分鐘前 6
1 頁
意大利遊學團曼谷BTS喧嘩挑釁乘客 意大使館譴責並公開涉事青年道歉片段
突發
慈雲山脫脫迷失27 分鐘前 32
3 頁
哈薩克斯坦阿頭勸普京收手
老貓再世_27 分鐘前 -36
3 頁
星島 男子獲派安泰邨高層 不滿風水欠佳拒收貨
新聞
刁腫(私煮食)35 分鐘前 -34
4 頁
龍翔道以高性能超薄瀝青工程改善狀況 路政署指大幅縮短施工時間
啊沙沙沙36 分鐘前 -32
5 頁
點解中共會容許台灣統治金馬澎?
社評
霜月步42 分鐘前 -5
1 頁
香港人係靠聽聲判斷風球,勁撚 on9
煲底見真身44 分鐘前 52
1 頁
美國耶魯大學經濟學家羅奇再次撰文:舊香港已完
社評
極速神驅47 分鐘前 2
1 頁
販毒集團租啟德中環兩單位做毒品倉 聘性感外籍女酒吧派貨 3骨幹遭警方拘捕
突發
啊沙沙沙50 分鐘前 1
1 頁
天文台敢唔敢得罪動漫節人士?
社評
口德會低級會員54 分鐘前 2
1 頁
紅霞風球.交通消息|港鐵: 東鐵綫太和站有架空電纜受損 需較長時間修復| 香港
膠智的kai龍56 分鐘前 -2
1 頁
紅霞現時最接近本港 隨後天文台視乎風力考慮改發八號信號
葉舒華隻DOG56 分鐘前 -109
6 頁
返左惠州大亞灣,一啲雨,一啲風都冇
低級中國香港人57 分鐘前 -39
1 頁
美軍俾人炸都係抵死
來自篤精的你57 分鐘前 5
1 頁
新疆賽里木湖歐打遊客後,網民爆發數臭全國旅遊區
口德會低級會員59 分鐘前 -4
2 頁
八號烈風或暴風信號最少維持至中午12時
6.16HK59 分鐘前 -4
1 頁
星期日掛十號風球都得喇, 屌?
突發
Jessicacindy1 小時前 0
2 頁
香港天文台:八號烈風或暴風信號會至少維持至中午12時 (2026-07-26)
突發
y4t7sds1220 分鐘前 -7
6 頁
天文台考慮在明日凌晨1時至2時之間發出九號烈風或暴風風力增強信號(25/7/2026)
突發
東升西降1 小時前 145
4 頁
青衣鏈鋸人
mnmmnn1 小時前 135
6 頁
(有圖)20歲姓許男IG留言 如果星期一無颱風會在港放炸彈 帶自動步槍入迪士尼 涉炸彈嚇詐被捕
浴火重生火鳳凰1 小時前 17
1 頁
中國網民瘋傳:誰稀罕住鴿子籠?我只要香港福利!香港護照在手,不用再看別人臉色!
大專爆GPA1 小時前 -1
1 頁
宇航人傳銷公司内幕 2
mnmmnn1 小時前 37
3 頁
(圖)赤鱲角電單車失控撼燈柱 30多歲鐵騎士送院搶救後不治死亡
老貓再世_1 小時前 64
4 頁
星島 漢寶酒樓全線結業 昔日龍蝦大王坐擁18分店
新聞
6.16HK1 小時前 -9
1 頁
颱風紅霞|保安局啟動緊急事故監察中心 鄧炳強籲市民切勿出外追風
突發
極速神驅5 分鐘前 47
3 頁
不滿被撞起衝突 中年漢大鬧青衣城擸利鋸追斬男途人
突發
AverageJoe33 分鐘前 0
1 頁
Elon哥搵夠未?傳Boring Company傾緊籌40億 估價200億!
突發
樓主置頂 #105
Terence Tao - A digestion of the Jacobian conjecture counterexample🔗這個由 AI 發現、並經陶哲軒(Terence Tao)分析消化(digestion)的 3D 雅可比猜想反例(Jacobian Conjecture counterexample),涉及幾個對人類直覺與傳統思考極不友善、極難憑空「諗到」的關健步驟與構造:「大規模抵消(Massive Cancellation)」的精準多項式組合反例的核心構造,是建構一個 7 次的多項式映射。按照正常的代數展開,一個 7 次的三元多項式映射,其雅可比行列式(Jacobian determinant)最高可達 18 次(包含高達 1,329 個單項式)。要讓所有非常數項的係數全數抵消為 0(只留下非零常數),人類需要解一個極其龐大且非線性的方程組。人類通常只能透過對稱性(Symmetry)或高度特定的結構來精簡問題;但 AI 透過演算法搜尋,找到了一組極其特殊、完全打破常規對稱直覺的組合。這套看似隨機、係數帶有 $3, 4$ 等怪異整數的組合,一計算 Jacobian 就會奇蹟般地變成常數 — 這在人類眼中簡直像「奇蹟魔法」,極難憑直覺構造。克服「證對(Prove True)」的心理慣性雅可比猜想提出超過 80 年,絕大多數代數幾何學家(包括諸多大師)的努力方向都是:- 試圖證明它是對的(特別是在低維度)。- 尋找具備特定「結構/不變量」的構造。人類學者如果試圖找反例,通常會先設定嚴格的幾何/群論對稱約束,以減少搜尋空間,但反例偏偏存在於沒有明顯對稱性的角落。AI 沒有這種「這猜想大概是對的吧」或「應該要具備某某幾何對稱」的心理負擔,能直接在無結構的邊界空間做暴力搜尋與優化。陶哲軒在分析中指出,這個 AI 發現的反例,某程度上受到了 1999 年俄羅斯數學家 Vitushkin 提出的一個有理多項式(rational function)構造的啟發:人類過去的瓶頸: Vitushkin 的例子裡面帶有分母(分式),分母會帶來極點(Singularities),無法直接變成整體的多項式映射(Polynomial Map)。難諗到的 Step: AI 找到了一套巧妙的變數替換與代數協同(Coordinate perturbation),將原本會產生分母/極點的項完全消去,把它「整平」成一個完美的純多項式映射。非單射(Non-injective)特性的隱蔽性要驗證這個映射不是可逆的(非單射),需要證明存在不同的點映射到同一個輸出 。陶哲軒在消化過程中發現:當你固定輸出 $(a, b, c)$ 去反推輸入時,消元後會得到一個關於未知數的三次方程(Cubic Equation)。一般而言,一般位置的三次多項式恰好會有 3 個相異的根。人類直覺會認為「Jacobian 為常數意味著局部一對一,大概全局也是一對一」。但在這個反例中,這 3 個根在全空間中幾乎處處(generically)都是獨立且非平凡互異的。這種「局部處處可逆(Jacobian 恆不為零),但在全局恰好三對一(3-to-1 map)」的代數拓撲機制,隱蔽得極深。陶哲軒寫這篇 blog 的目的,正是因為 AI 直接給出的公式像「天外飛仙」一樣難以理解。人類最難諗到的不是某一個單一邏輯推導,而是:「如何在幾千個看似會產生高次項項數的複雜多項式交叉乘積中,精準選定係數,讓高達 1,000 多個多項式展開項完美抵消至只剩常數,同時又能保持 3-to-1 的全局非單射性。」這正是典型的 「人類擅長邏輯結構推理,但 AI 擅長在複雜高維空間中進行智能搜尋(Intelligent Search)」 的經典體現。
第 1 頁
#1膠智的kai龍4 日前
https://technews.tw/2026/07/21/jacobian-conjecture-claude-math-problem/

這一天,數學界發生驚天動地大事,無數頂尖學者 87 年來都無法證明正確性的代數幾何難題「雅可比猜想」——不用證明了,這個猜想本身就是錯誤,證偽主角甚至還是 AI 模型 Claude Fable 5。

2026 年 7 月 19 日,世界盃足球賽接近尾聲之際,Anthropic 員工暨數學家萊文特·阿爾波格(Levent Alpöge)在社群軟體隨手寫下一句話與一段簡潔數學公式,沒有大篇長論、沒有發表論文,就那樣輕描淡寫指出 Anthropic 大型語言模型 Claude Fable 5 發現「雅可比猜想(Jacobian conjecture)」在三維空間的明確反例(推翻該猜想 N>2 的情況),一夜之間超過 2,000 萬次瀏覽。

這條消息為何如此驚人?簡單說,該反例讓 87 年來試圖證明雅可比猜想正確性的頂尖數學家們淪為笑話。

雅可比猜想是德國數學家奧特-海因里希·凱勒(Ott-Heinrich Keller )於 1939 年提出的代數幾何核心難題,主張如果一個多元多項式映射的雅可比行列式始終為非零常數,則該映射整體上是否一定可逆(存在多項式反函數)?

微積分反函數定理告訴我們,如果一個函數在某一點的雅可比行列式不為零,那麼該函數在該點附近就具有一個局部反函數,因此我們對雅可比猜想的直覺認知是「對」。

更白話一點來說,想像有個規則可以把空間任何一點變到另一個點(也就是映射),而雅可比猜想主張只要「局部不塌陷」特性(即雅可比行列式始終為非零常數)在整個空間、每一點都成立,那麼映射全域變換一定可逆,每一個輸出點都應恰好對應一個輸入點,你永遠能唯一反推——每個終點都只對應一個起點。

然而這道題目陷阱特別多, 87 年來一直沒人可完整證明雅可比猜想對或錯,歷史上已發表過的「證明雅可比猜想」論文數量極其龐大,最終都被發現存在細微漏洞,雅可比猜想因此被列入 21 世紀 18 大數學難題清單,更被戲稱為數學證明界吸血鬼,吸乾無數聰明、才華洋溢的年輕數學家精力。

現在這條數學界公認異常難證明的問題,突然就被 Levent Alpoge 和 AI 模型 Claude Fable 5 推翻了。

Claude Fable 5 直接拋出一個簡潔優雅的反例:

設多元多項式函數 F:C³→C³ 為:
F(x,y,z) =((1+xy)³z+y²(1+xy)(4+3xy), y+3x(1+xy)²z+3xy²(4+3xy), 2x−3x²y−x³z ),可驗證此多項式映射的雅可比行列式恆等於 -2(非零常數,滿足猜想前提),然而這個函數不是單射,它能將空間中 3 個完全不同的點:(0, 0, -1/4)、(1, -3/2, 13/2)、(-1, 3/2, 13/2)全映射至同一影像點:(-1/4, 0, 0),因此函數 F 不存在反函數,根本不可逆。

簡單講,該反例滿足「局部不塌陷」條件,卻能找到 3 個不同起點全映射到同一終點,「唯一反推」無法成立(沒辦法從這個終點唯一反推回起點),廣義雅可比猜想就這樣被徹底證偽。

不久之後,GPT-5.6 跟進分析此結果並提出全新修正的猜想;OpenAI 員工也使用內部 Codex 獨立推導出類似反例。

數學天才張益唐被偷走的 7 年
美籍華裔數學家張益唐 2013 年因發表「孿生質數猜想」論文,首次證明存在無窮多對間隙為有限的質數,才從沒沒無聞的冷門學者一夕成名,這年他 58 歲,他的過往隨即被翻開檢閱。

人們才發現此前幾十年,張益唐的經歷是場學術悲劇。

1985 年,張益唐前往普渡大學攻讀博士學位,大膽挑選雅可比猜想作為畢業論文題目,他的指導教授莫宗堅(美籍華裔代數幾何學家)本身也是雅可比猜想研究學者。

莫宗堅給張益唐一條自己發表過的引理(Lemma)作為證明雅可比猜想方向,結果命運開了個殘酷玩笑,同行評審發現這條引理根本錯誤,張益唐的證明之路不只毫無進展,7 年來所有努力更瞬間瓦解。

莫宗堅諷刺張益唐「能力不適合走代數幾何這條路」,還發牢騷說張益唐浪費自己 7 年時間、拒絕為張寫推薦信,最後張益唐因求學期間未發表任何論文、也沒有指導教授支持,離開普渡大學後完全找不到相關學術工作,長期落魄打零工,後來才在新罕布夏大學謀得講師職位。

直到 2013 年發表孿生素數猜想突破性論文,張益唐才從一位默默無聞大學小講師變成全球知名數學家。

諷刺的是,如今雅可比猜想被 Claude Fable 5 證明本身就是錯誤,苦了張益唐學術生涯為此漂泊數十年,但也終於還張益唐一個公道。
#2膠智的kai龍4 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
#3唔撚做4 日前
回覆負評過多,按此顯示原文
#4大數據世代4 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
N>2 d 人唔係話一早證偽咗咩?
而家得返N=2
#5大數據世代4 日前
回覆負評過多,按此顯示原文
證明唔到 = 證明到唔係?
#7轉角遇到瓜4 日前
回覆負評過多,按此顯示原文
#8有鳩之婦4 日前
回覆負評過多,按此顯示原文
睇黎你數學都真係麻麻地
2,000 萬次瀏覽唔等於有2000萬個人會想知呢樣野
[sosad][sosad][sosad]
#9毒者萌宅4 日前
聽日要唔要返工先?
#10wenliyang
不明覺厲
#11膠智的kai龍4 日前
回覆負評過多,按此顯示原文
呢單野重點係AI比左反例,而人類搞左87年都未搞到
唔係Jacobi conjecture究竟係乜
#12椰子樹無菇的4 日前
下一個大佬黎曼猜想
暫時160年未解
#13三月初五4 日前
睇唔明 唔識數
AI輸出既內容都係要由返專業數學同行去望下
真係證實咗冇得證明?
#14潘朵拉(道具)4 日前
睇唔明 唔識數
AI輸出既內容都係要由返專業數學同行去望下
真係證實咗冇得證明?
佢推咗一個反例出黎,咁成個假設就推翻咗,唔洗數學上嘅證明

但你講數學家嘅工作白廢咁又冇,因為下一個問題係加咩條件個假設會變翻啱[sosad]
#15cataholic4 日前
睇唔明 唔識數
AI輸出既內容都係要由返專業數學同行去望下
真係證實咗冇得證明?
我諗類似係
連登仔:全部魚都係魚類
AI:鯨魚唔係魚
其他人:係喎
#16~你老母~4 日前
證明係岩,係好複雜,因為要證明100%符合

證明係錯,只要提出一個反例就可以,反例已是最好證明
#17~你老母~4 日前
世界上只有男或女兩種性別

如果要證明係岩,要由人類出現到宜家,都只係存在男或女,沒有其他性別

如果要證明係錯,只要搵到一個雙性人就得,就可以證明係錯
#18天地無用@SaiWan4 日前
等待破解(老母猜想)
#19你就當我鳩噏啦4 日前
有冇返工界發生驚天動地大事?
#20大角倔喜4 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
#21阿啤4 日前
睇唔明 唔識數
AI輸出既內容都係要由返專業數學同行去望下
真係證實咗冇得證明?
我地正常人唔係讀數係唔會明架喇[sosad]
我睇左幾次呢個猜想係咩都睇唔明,叫ai簡單講下都唔明,最後叫佢向1個10歲細路講解下呢個猜想,都仲要諗左幾諗先明個猜想講咩,更唔好講證明[banghead][banghead][banghead]
#22我辦事你放心4 日前
回覆負評過多,按此顯示原文
睇黎你數學都真係麻麻地
2,000 萬次瀏覽唔等於有2000萬個人會想知呢樣野
[sosad][sosad][sosad]
咁呢個唔係數學麻麻地,係邏輯麻麻地[sosad]
#23中山大笨象4 日前
好笑嘅係,如果你將個反例俾返AI(冇連網),佢可以證明到真係一個反例,但佢會嚇一跳,因為一直以來都冇人搵到。[banghead]
#24阿啤4 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
根據頭先我睇ai既小學雞版解釋,呢個猜想係俾我地理解一件野俾人整爛左後有無可能逆向整返好佢。

即係呢個係一個好基本既理論,如果證明到係得,就即係一部壞左既太空船理論上係可以唔洗換零件,直接叫件零件還原就可以整返好(當要另外既技術可能更難做到),但如果呢個猜想係錯,就即係唔洗諗呢樣科技。

唔知有無錯,睇下有無高手指正。
#25😇都要有樓4 日前
下一個大佬黎曼猜想
暫時160年未解
呢個要搵AI Shiga
第 2 頁
#26大角倔喜4 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
根據頭先我睇ai既小學雞版解釋,呢個猜想係俾我地理解一件野俾人整爛左後有無可能逆向整返好佢。

即係呢個係一個好基本既理論,如果證明到係得,就即係一部壞左既太空船理論上係可以唔洗換零件,直接叫件零件還原就可以整返好(當要另外既技術可能更難做到),但如果呢個猜想係錯,就即係唔洗諗呢樣科技。

唔知有無錯,睇下有無高手指正。
即係衰老既我地,有無可能透過什麼方法返老還童
#27阿啤4 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
又,呢個世界有d數學猜想係對現實無用,好多年前話有個俾人破左既猜想係得a點同b點同距離,無角度,可唔可以就咁就知道b點正確位置,數學就要搞好耐,但現實因為係三維空間,所以角度一度就知,所以呢個猜想係對現實無幫助:o):o)
#28為你鍾情張國榮4 日前
Too long did not read
#29膠智的kai龍4 日前
睇唔明 唔識數
AI輸出既內容都係要由返專業數學同行去望下
真係證實咗冇得證明?
我地正常人唔係讀數係唔會明架喇[sosad]
我睇左幾次呢個猜想係咩都睇唔明,叫ai簡單講下都唔明,最後叫佢向1個10歲細路講解下呢個猜想,都仲要諗左幾諗先明個猜想講咩,更唔好講證明[banghead][banghead][banghead]
呢個conjecture學過multivariable calculus就會明
簡單黎講就係inverse function theorem的polynomial的特殊版
#30膠智的kai龍4 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
又,呢個世界有d數學猜想係對現實無用,好多年前話有個俾人破左既猜想係得a點同b點同距離,無角度,可唔可以就咁就知道b點正確位置,數學就要搞好耐,但現實因為係三維空間,所以角度一度就知,所以呢個猜想係對現實無幫助:o):o)
但歷史總是對人類開玩笑, 過多一二百年之後發現原來有application #haha#dog
#31媽咪像一個傻鳩4 日前
我比較好奇係點解人類搵唔到個反例
個反例睇落都好簡單啫
#32膠智的kai龍4 日前
我比較好奇係點解人類搵唔到個反例
個反例睇落都好簡單啫
望落好簡單但係人類未必真係chok到出黎
同埋呢個conjecture我相信大部份做呢個topic的人覺得係真 (例如莫宗堅), 自然唔會特登去諗反例
#33腋下品味師
引用 #12
唔係解左啦咩?
#35膠智的kai龍4 日前
下一個大佬黎曼猜想
暫時160年未解
唔係解左啦咩?
[sosad][sosad][sosad]
罰你再google下
#36情絕移東弱撚智4 日前
想讀數既中學雞
YEAR3開始你就係讀呢類野 [sosad][sosad][sosad]
回頭是岸 [sosad] 我遇過90%讀數既都係後悔 [sosad]
#37腋下品味師4 日前
下一個大佬黎曼猜想
暫時160年未解
唔係解左啦咩?
[sosad][sosad][sosad]
罰你再google下
係喎 我搞亂左費馬最後定理[sosad]
#38紅姐暴雨警告4 日前
回覆負評過多,按此顯示原文
呢單野重點係AI比左反例,而人類搞左87年都未搞到
唔係Jacobi conjecture究竟係乜
再次證明AI大數據嘅威力,人腦知識量太少了。
#39膠智的kai龍4 日前
想讀數既中學雞
YEAR3開始你就係讀呢類野 [sosad][sosad][sosad]
回頭是岸 [sosad] 我遇過90%讀數既都係後悔 [sosad]
undergrad有幾可會讀algebraic geometry [sosad]
#40琴晚打老虎4 日前
我比較好奇係點解人類搵唔到個反例
個反例睇落都好簡單啫
望落好簡單但係人類未必真係chok到出黎
同埋呢個conjecture我相信大部份做呢個topic的人覺得係真 (例如莫宗堅), 自然唔會特登去諗反例
不如咁講
其實個polynomial 個degree都唔係好大
我會以為已經有人試過窮舉
#41凱柏峰4 日前
希望Riemann Hypothesis, 3n+1和ABC conjecture 應該不會是錯的吧 #:)#rabbit
#42媽咪像一個傻鳩4 日前
想讀數既中學雞
YEAR3開始你就係讀呢類野 [sosad][sosad][sosad]
回頭是岸 [sosad] 我遇過90%讀數既都係後悔 [sosad]
有咩後悔
嗰個grad 都quant research, trader 喎#hehe#
最渣都ibank 爭住請[slick]
驚人爭飯食#ng#
#43紅姐暴雨警告4 日前
想讀數既中學雞
YEAR3開始你就係讀呢類野 [sosad][sosad][sosad]
回頭是岸 [sosad] 我遇過90%讀數既都係後悔 [sosad]
有咩後悔
嗰個grad 都quant research, trader 喎#hehe#
最渣都ibank 爭住請[slick]
驚人爭飯食#ng#
自從有咗AI後連最搵唔到工嘅拓撲學家都變成搶手貨,AI令數學系變成熱門學系#agree#rabbit#agree#rabbit#agree#rabbit
#44Outliers4 日前
事後嚟睇,搵反例嘅難求高唔高?
例如使唔使識啲好深奧嘅數學知識、知識需唔需要要好廣泛 (對專業數學家嚟講,唔係一般人標準)
#45晒銀時仔4 日前
回覆負評過多,按此顯示原文
都係要返工#wail#pig
#46俊桃丸鳴4 日前
ai可摸耳破解呢啲Q嗱老婆幾多歲大肚呢個猜想
#47歌本哈根大師4 日前
姐係廣義雅可比猜想係錯?
睇完都唔明,完全理解唔到[sosad]
#48姜諧潾(20歲)4 日前
Dllm數學真係好撚癲
一樣嘢可以解釋哂宇宙萬物[sosad]
#49椰子樹無菇的4 日前
顯示更多
唔係解左啦咩?
[sosad][sosad][sosad]
罰你再google下
係喎 我搞亂左費馬最後定理[sosad]
費馬最後定理358年#wail#pig
#50椰子樹無菇的4 日前
顯示更多
[sosad][sosad][sosad]
罰你再google下
係喎 我搞亂左費馬最後定理[sosad]
費馬最後定理358年#wail#pig
費馬最後定理用咗358年#wail#pig
第 3 頁
#52吉田の寶4 日前
想讀數既中學雞
YEAR3開始你就係讀呢類野 [sosad][sosad][sosad]
回頭是岸 [sosad] 我遇過90%讀數既都係後悔 [sosad]
反而讀Physics嘅冇咁多後悔#wail#pig#wail#pig
#53咩叫眼前一黑4 日前
好笑嘅係,如果你將個反例俾返AI(冇連網),佢可以證明到真係一個反例,但佢會嚇一跳,因為一直以來都冇人搵到。[banghead]
點止冇連網,傻閪 Gemini 都要靠你掉返畀佢 [sosad]
#54雞扒煎雙蛋4 日前
好認真睇完篇文都係唔知咩猜想黎#wail#pig 想知ai 推翻得好輕鬆(姐係簡單 但從來冇人咁諗過) 定係勁難複雜計算先反例到
#55膠智的kai龍3 日前
姐係廣義雅可比猜想係錯?
睇完都唔明,完全理解唔到[sosad]
3維或以上的jacobi conjecture係錯, 但係2維的就未知
#56膠智的kai龍3 日前
想讀數既中學雞
YEAR3開始你就係讀呢類野 [sosad][sosad][sosad]
回頭是岸 [sosad] 我遇過90%讀數既都係後悔 [sosad]
反而讀Physics嘅冇咁多後悔#wail#pig#wail#pig
你講你學左D乜, 物理都仲有D野講下
數學? Set? Group? Ring? Field? #haha#dog
#576pek3 日前
發現讀數嗰啲全部有精神病
一日到黑晒時間鑽牛角尖想破解啲白痴數學難題
然後俾其他人/ai破解左就瘋狂抹黑人地話人地係好彩同垃圾
變左痴線佬
所以千奇唔好讀數[sosad]
#58奧瑪3 日前
所以大學讀數學同歷史一樣side 鳩氣
#59EmiQ3 日前
雖然不知道發生什麼事,但好像很厲害#like#
喺學術/研究界嘅問題上
最緊要嘅係呢段
數學天才張益唐被偷走的 7 年
美籍華裔數學家張益唐 2013 年因發表「孿生質數猜想」論文,首次證明存在無窮多對間隙為有限的質數,才從沒沒無聞的冷門學者一夕成名,這年他 58 歲,他的過往隨即被翻開檢閱。

人們才發現此前幾十年,張益唐的經歷是場學術悲劇。


有時就算正確答案都會被無視
甚至會無辦法畢業

學術界好撚閪#wail#pig
#60膠智的kai龍3 日前
發現讀數嗰啲全部有精神病
一日到黑晒時間鑽牛角尖想破解啲白痴數學難題
然後俾其他人/ai破解左就瘋狂抹黑人地話人地係好彩同垃圾
變左痴線佬
所以千奇唔好讀數[sosad]
發癲果D只係beginning graduates或者係undergrad, 對數學仲抱住不必要的幻想
大部份的頂尖數學家對AI都係開放而且歡迎 (例如tao)
#61膠智的kai龍3 日前
雖然不知道發生什麼事,但好像很厲害#like#
喺學術/研究界嘅問題上
最緊要嘅係呢段
數學天才張益唐被偷走的 7 年
美籍華裔數學家張益唐 2013 年因發表「孿生質數猜想」論文,首次證明存在無窮多對間隙為有限的質數,才從沒沒無聞的冷門學者一夕成名,這年他 58 歲,他的過往隨即被翻開檢閱。

人們才發現此前幾十年,張益唐的經歷是場學術悲劇。


有時就算正確答案都會被無視
甚至會無辦法畢業

學術界好撚閪#wail#pig
莫宗堅諷刺張益唐「能力不適合走代數幾何這條路」,還發牢騷說張益唐浪費自己 7 年時間、拒絕為張寫推薦信,最後張益唐因求學期間未發表任何論文、也沒有指導教授支持,離開普渡大學後完全找不到相關學術工作,長期落魄打零工,後來才在新罕布夏大學謀得講師職位。


呢段先係重點, 遇着個西老細真係萬劫不復
#62革命界KOL毛澤東3 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
又,呢個世界有d數學猜想係對現實無用,好多年前話有個俾人破左既猜想係得a點同b點同距離,無角度,可唔可以就咁就知道b點正確位置,數學就要搞好耐,但現實因為係三維空間,所以角度一度就知,所以呢個猜想係對現實無幫助:o):o)
如果個地方好遠或者郁緊呢?
例如係銀河系外面移動緊嘅行星#doubt#lm2
#63吉田の寶3 日前
想讀數既中學雞
YEAR3開始你就係讀呢類野 [sosad][sosad][sosad]
回頭是岸 [sosad] 我遇過90%讀數既都係後悔 [sosad]
反而讀Physics嘅冇咁多後悔#wail#pig#wail#pig
你講你學左D乜, 物理都仲有D野講下
數學? Set? Group? Ring? Field? #haha#dog
我覺得係咁
俾啲自命不凡嘅中學雞, 睇大學四年級嘅書
想讀Physics嘅就睇Physics
想讀Maths嘅就睇Maths

如果睇完都仲好有feel好有heart嘅
不妨一試
#64路人走過3 日前
雖然不知道發生什麼事,但好像很厲害#like#
喺學術/研究界嘅問題上
最緊要嘅係呢段
數學天才張益唐被偷走的 7 年
美籍華裔數學家張益唐 2013 年因發表「孿生質數猜想」論文,首次證明存在無窮多對間隙為有限的質數,才從沒沒無聞的冷門學者一夕成名,這年他 58 歲,他的過往隨即被翻開檢閱。

人們才發現此前幾十年,張益唐的經歷是場學術悲劇。


有時就算正確答案都會被無視
甚至會無辦法畢業

學術界好撚閪#wail#pig
莫宗堅諷刺張益唐「能力不適合走代數幾何這條路」,還發牢騷說張益唐浪費自己 7 年時間、拒絕為張寫推薦信,最後張益唐因求學期間未發表任何論文、也沒有指導教授支持,離開普渡大學後完全找不到相關學術工作,長期落魄打零工,後來才在新罕布夏大學謀得講師職位。


呢段先係重點, 遇着個西老細真係萬劫不復
莫宗堅給張益唐一條自己發表過的引理(Lemma)作為證明雅可比猜想方向,結果命運開了個殘酷玩笑,同行評審發現這條引理根本錯誤

真係慘#wail#pig
個老細仲要俾錯料#wail#pig
#65膠智的kai龍3 日前
顯示更多
喺學術/研究界嘅問題上
最緊要嘅係呢段
數學天才張益唐被偷走的 7 年
美籍華裔數學家張益唐 2013 年因發表「孿生質數猜想」論文,首次證明存在無窮多對間隙為有限的質數,才從沒沒無聞的冷門學者一夕成名,這年他 58 歲,他的過往隨即被翻開檢閱。

人們才發現此前幾十年,張益唐的經歷是場學術悲劇。


有時就算正確答案都會被無視
甚至會無辦法畢業

學術界好撚閪#wail#pig
莫宗堅諷刺張益唐「能力不適合走代數幾何這條路」,還發牢騷說張益唐浪費自己 7 年時間、拒絕為張寫推薦信,最後張益唐因求學期間未發表任何論文、也沒有指導教授支持,離開普渡大學後完全找不到相關學術工作,長期落魄打零工,後來才在新罕布夏大學謀得講師職位。


呢段先係重點, 遇着個西老細真係萬劫不復
莫宗堅給張益唐一條自己發表過的引理(Lemma)作為證明雅可比猜想方向,結果命運開了個殘酷玩笑,同行評審發現這條引理根本錯誤

真係慘#wail#pig
個老細仲要俾錯料#wail#pig
路邊社消息話當年張益唐同莫宗堅講某條proposition係錯的 (唔記得係咪呢條lemma), 然後莫宗堅嬲豬 #haha#dog
#66EmiQ3 日前
睇唔明 唔識數
AI輸出既內容都係要由返專業數學同行去望下
真係證實咗冇得證明?
唔係證實冇得證明
反例嘅意思就類似
「證明一個規律唔係絕對」
咁嘅概念

e.g.
歷法話一年係365日
如果你搵到有一年唔係365日
或者365日一年唔可以配合季節
咁你就證明左歷法有問題
個歷法喺某啲條件下唔work
個歷法嘅規律就要搵方法將你搵到個case 納入

而家個「猜想」你可以當係大家見到「一年應該係365日」呢個規律
但唔識證明點解係365
亦唔知咁樣係咪真係啱
直到有人發現
原來要間唔時當一年係366日
先至唔會有季節偏差

咁發現到要4年一次366日 (或者每年365.25日)
季節就會perfect match
就算係一個反例
證明緊「每年365日」呢個原本嘅假設有問題
#67EmiQ3 日前
顯示更多
莫宗堅諷刺張益唐「能力不適合走代數幾何這條路」,還發牢騷說張益唐浪費自己 7 年時間、拒絕為張寫推薦信,最後張益唐因求學期間未發表任何論文、也沒有指導教授支持,離開普渡大學後完全找不到相關學術工作,長期落魄打零工,後來才在新罕布夏大學謀得講師職位。


呢段先係重點, 遇着個西老細真係萬劫不復
莫宗堅給張益唐一條自己發表過的引理(Lemma)作為證明雅可比猜想方向,結果命運開了個殘酷玩笑,同行評審發現這條引理根本錯誤

真係慘#wail#pig
個老細仲要俾錯料#wail#pig
路邊社消息話當年張益唐同莫宗堅講某條proposition係錯的 (唔記得係咪呢條lemma), 然後莫宗堅嬲豬 #haha#dog
學術界真係狗都唔屌#wail#pig
#68膠智的kai龍3 日前
顯示更多
莫宗堅給張益唐一條自己發表過的引理(Lemma)作為證明雅可比猜想方向,結果命運開了個殘酷玩笑,同行評審發現這條引理根本錯誤

真係慘#wail#pig
個老細仲要俾錯料#wail#pig
路邊社消息話當年張益唐同莫宗堅講某條proposition係錯的 (唔記得係咪呢條lemma), 然後莫宗堅嬲豬 #haha#dog
學術界真係狗都唔屌#wail#pig
華人老細真係不了 #haha#dog
#69珠珢小寶寶3 日前
AI 已經屌死哂數佬、phy佬、archi 佬
#70Anthropic3 日前
雖然不知道發生什麼事,但好像很厲害#like#
唯一知道嘅就係 莫宗堅係一個大仆街#[sosad]#lm2
#72膠智的kai龍3 日前
雖然不知道發生什麼事,但好像很厲害#like#
唯一知道嘅就係 莫宗堅係一個大仆街#[sosad]#lm2
華人學術圈本身就一塌糊塗 #haha#dog
#73林超英大法3 日前
咁難都解到
不如解下你女朋友和你媽掉到海裡你要先救誰點答#cross#mouse
#74美股價值分析師3 日前
ok,隻隻字都明,但唔知佢up乜春
#75應該唔會3 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
你用緊既手機,密碼,銀行,ai, 科技產品,就係由呢d你認為無用加無聊既科學理論驗證生成既結晶
第 4 頁
#76膠智的kai龍3 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
你用緊既手機,密碼,銀行,ai, 科技產品,就係由呢d你認為無用加無聊既科學理論驗證生成既結晶
基礎學科的問題係佢地無即時應用, 要放係度唔知幾多年先有用
#77Cirilla3 日前
早兩個月先解決咗艾狄胥猜想 尋日又到雅可比猜想
下一步會唔會見到AI攻克千禧年大獎難題#mindblown#dragon
#78應該唔會
引用 #76
即係有用。
#80膠智的kai龍3 日前
顯示更多
你用緊既手機,密碼,銀行,ai, 科技產品,就係由呢d你認為無用加無聊既科學理論驗證生成既結晶
基礎學科的問題係佢地無即時應用, 要放係度唔知幾多年先有用
即係有用。
問題係你唔知幾時有用同乜野有用
係industry角度係唔值得投資
#81邊個用左個名3 日前
助為 係咪你
你終於返黎啦
#82膠智的kai龍3 日前
一睇條友就知佢根本唔識數學, 係度搏流量
#84fx-823 日前
下一個大佬黎曼猜想
暫時160年未解
唔係解左啦咩?
早十年八年咁上下係有個好老但好有地位數學家話自己證明左, 但佢個"證明"好似話唔使專業研究該領域嘅專業學者, 一般數學學者都睇得出係流
#85膠智的kai龍3 日前
下一個大佬黎曼猜想
暫時160年未解
唔係解左啦咩?
早十年八年咁上下係有個好老但好有地位數學家話自己證明左, 但佢個"證明"好似話唔使專業研究該領域嘅專業學者, 一般數學學者都睇得出係流
Atiyah #haha#dog#haha#dog#haha#dog
#866pek3 日前
發現讀數嗰啲全部有精神病
一日到黑晒時間鑽牛角尖想破解啲白痴數學難題
然後俾其他人/ai破解左就瘋狂抹黑人地話人地係好彩同垃圾
變左痴線佬
所以千奇唔好讀數[sosad]
發癲果D只係beginning graduates或者係undergrad, 對數學仲抱住不必要的幻想
大部份的頂尖數學家對AI都係開放而且歡迎 (例如tao)
嗰啲數學家咪好
睇開左,解唔到就算都唔會勉強
大家圍威喂出下啲廢話paper就算#yup#
#87Eros!3 日前
Ai 可以chok到 infinity input infinity output
但點出polynomial
O:-)
#88Eros!3 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
映射 質數
Crypto
#bye#
#89金正男
咁即係有咩用?
#90ChinatsuKano3 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
佢簡單版本 Inverse function theorem -> implicit -> lagrangian -> 幫助一大班經濟, 搞optimization班人
#91應該唔會3 日前
顯示更多
基礎學科的問題係佢地無即時應用, 要放係度唔知幾多年先有用
即係有用。
問題係你唔知幾時有用同乜野有用
係industry角度係唔值得投資
所以發展科技同理論唔會係你呢類人
#92膠智的kai龍3 日前
顯示更多
即係有用。
問題係你唔知幾時有用同乜野有用
係industry角度係唔值得投資
所以發展科技同理論唔會係你呢類人
不如你望清楚現實把啦 [sosad]
#93應該唔會
引用 #92
你同科學家講啦
#94aowjeb3 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
又,呢個世界有d數學猜想係對現實無用,好多年前話有個俾人破左既猜想係得a點同b點同距離,無角度,可唔可以就咁就知道b點正確位置,數學就要搞好耐,但現實因為係三維空間,所以角度一度就知,所以呢個猜想係對現實無幫助:o):o)
同點解有巴士由屯門出旺角仲有連登行路撚一樣
既然數學全部係固定 所以咪想用數學嘅方法去證明到
#95專呃老處女3 日前
咁連登猜想呢?
180Cm+50K+10A/7DSE 5**+30 age
是否不存在?
#96手一黏便緊(UTC+93 日前
顯示更多
問題係你唔知幾時有用同乜野有用
係industry角度係唔值得投資
所以發展科技同理論唔會係你呢類人
不如你望清楚現實把啦 [sosad]
幾好笑[sosad][sosad][sosad][sosad][sosad][sosad]
#97阿啤3 日前
顯示更多
回覆負評過多,按此顯示原文
又,呢個世界有d數學猜想係對現實無用,好多年前話有個俾人破左既猜想係得a點同b點同距離,無角度,可唔可以就咁就知道b點正確位置,數學就要搞好耐,但現實因為係三維空間,所以角度一度就知,所以呢個猜想係對現實無幫助:o):o)
如果個地方好遠或者郁緊呢?
例如係銀河系外面移動緊嘅行星#doubt#lm2
遠唔關事,郁緊就要計佢點郁。

你當個概念就係你見到山頂有座建築物,而google地圖話左俾你知你同座野既距離有幾遠。呢個理論就係你得以上資料都可以知道座野係離地面幾多米。

但現實你一度就知,唔洗搞咁多野。
#98阿啤3 日前
顯示更多
回覆負評過多,按此顯示原文
根據頭先我睇ai既小學雞版解釋,呢個猜想係俾我地理解一件野俾人整爛左後有無可能逆向整返好佢。

即係呢個係一個好基本既理論,如果證明到係得,就即係一部壞左既太空船理論上係可以唔洗換零件,直接叫件零件還原就可以整返好(當要另外既技術可能更難做到),但如果呢個猜想係錯,就即係唔洗諗呢樣科技。

唔知有無錯,睇下有無高手指正。
即係衰老既我地,有無可能透過什麼方法返老還童
唔係透過咩方法,只係理論上有無可能返老還童,即係有無得逆轉,唔係點逆轉。
#99scscscsc3 日前
我覺得我就快破解到孿生質數猜想
第 5 頁
#101irena3 日前
世界上只有男或女兩種性別

如果要證明係岩,要由人類出現到宜家,都只係存在男或女,沒有其他性別

如果要證明係錯,只要搵到一個雙性人就得,就可以證明係錯
人類只有兩隻手,共十隻手指

要證明係錯,只要搵到一個有多或小過十隻手指嘅人,就可以證明係錯
#102潘朵拉(道具)3 日前
顯示更多
所以發展科技同理論唔會係你呢類人
不如你望清楚現實把啦 [sosad]
你同科學家講啦
數學家又唔同科學家嘅,數學佬計數好多時真係冇去諗點apply,其實係似文科仔多d#wail#pig
#103阿啤3 日前
睇唔明 唔識數
AI輸出既內容都係要由返專業數學同行去望下
真係證實咗冇得證明?
我地正常人唔係讀數係唔會明架喇[sosad]
我睇左幾次呢個猜想係咩都睇唔明,叫ai簡單講下都唔明,最後叫佢向1個10歲細路講解下呢個猜想,都仲要諗左幾諗先明個猜想講咩,更唔好講證明[banghead][banghead][banghead]
呢個conjecture學過multivariable calculus就會明
簡單黎講就係inverse function theorem的polynomial的特殊版
巴打可唔可以用令1個10歲細路都聽得明既方法話我知你上面講緊咩[sosad][sosad]
#104膠智的kai龍3 日前
顯示更多
我地正常人唔係讀數係唔會明架喇[sosad]
我睇左幾次呢個猜想係咩都睇唔明,叫ai簡單講下都唔明,最後叫佢向1個10歲細路講解下呢個猜想,都仲要諗左幾諗先明個猜想講咩,更唔好講證明[banghead][banghead][banghead]
呢個conjecture學過multivariable calculus就會明
簡單黎講就係inverse function theorem的polynomial的特殊版
巴打可唔可以用令1個10歲細路都聽得明既方法話我知你上面講緊咩[sosad][sosad]
無, 最少你要知咩叫polynomial, 小學生應該唔會知咩係polynomial #haha#dog
#105Outliers3 日前
Terence Tao - A digestion of the Jacobian conjecture counterexample
https://terrytao.wordpress.com/2026/07/21/a-digestion-of-the-jacobian-conjecture-counterexample/


這個由 AI 發現、並經陶哲軒(Terence Tao)分析消化(digestion)的 3D 雅可比猜想反例(Jacobian Conjecture counterexample),涉及幾個對人類直覺與傳統思考極不友善、極難憑空「諗到」的關健步驟與構造:

「大規模抵消(Massive Cancellation)」的精準多項式組合反例的核心構造,是建構一個 7 次的多項式映射。按照正常的代數展開,一個 7 次的三元多項式映射,其雅可比行列式(Jacobian determinant)最高可達 18 次(包含高達 1,329 個單項式)。要讓所有非常數項的係數全數抵消為 0(只留下非零常數),人類需要解一個極其龐大且非線性的方程組。人類通常只能透過對稱性(Symmetry)或高度特定的結構來精簡問題;但 AI 透過演算法搜尋,找到了一組極其特殊、完全打破常規對稱直覺的組合。這套看似隨機、係數帶有 $3, 4$ 等怪異整數的組合,一計算 Jacobian 就會奇蹟般地變成常數 — 這在人類眼中簡直像「奇蹟魔法」,極難憑直覺構造。

克服「證對(Prove True)」的心理慣性
雅可比猜想提出超過 80 年,絕大多數代數幾何學家(包括諸多大師)的努力方向都是:
- 試圖證明它是對的(特別是在低維度)。
- 尋找具備特定「結構/不變量」的構造。

人類學者如果試圖找反例,通常會先設定嚴格的幾何/群論對稱約束,以減少搜尋空間,但反例偏偏存在於沒有明顯對稱性的角落。AI 沒有這種「這猜想大概是對的吧」或「應該要具備某某幾何對稱」的心理負擔,能直接在無結構的邊界空間做暴力搜尋與優化。

陶哲軒在分析中指出,這個 AI 發現的反例,某程度上受到了 1999 年俄羅斯數學家 Vitushkin 提出的一個有理多項式(rational function)構造的啟發:

人類過去的瓶頸: Vitushkin 的例子裡面帶有分母(分式),分母會帶來極點(Singularities),無法直接變成整體的多項式映射(Polynomial Map)。
難諗到的 Step: AI 找到了一套巧妙的變數替換與代數協同(Coordinate perturbation),將原本會產生分母/極點的項完全消去,把它「整平」成一個完美的純多項式映射。

非單射(Non-injective)特性的隱蔽性要驗證這個映射不是可逆的(非單射),需要證明存在不同的點映射到同一個輸出 。陶哲軒在消化過程中發現:當你固定輸出 $(a, b, c)$ 去反推輸入時,消元後會得到一個關於未知數的三次方程(Cubic Equation)。一般而言,一般位置的三次多項式恰好會有 3 個相異的根。人類直覺會認為「Jacobian 為常數意味著局部一對一,大概全局也是一對一」。但在這個反例中,這 3 個根在全空間中幾乎處處(generically)都是獨立且非平凡互異的。這種「局部處處可逆(Jacobian 恆不為零),但在全局恰好三對一(3-to-1 map)」的代數拓撲機制,隱蔽得極深。

陶哲軒寫這篇 blog 的目的,正是因為 AI 直接給出的公式像「天外飛仙」一樣難以理解。人類最難諗到的不是某一個單一邏輯推導,而是:

「如何在幾千個看似會產生高次項項數的複雜多項式交叉乘積中,精準選定係數,讓高達 1,000 多個多項式展開項完美抵消至只剩常數,同時又能保持 3-to-1 的全局非單射性。」

這正是典型的 「人類擅長邏輯結構推理,但 AI 擅長在複雜高維空間中進行智能搜尋(Intelligent Search)」 的經典體現。
#106紅色派對3 日前
顯示更多
呢個conjecture學過multivariable calculus就會明
簡單黎講就係inverse function theorem的polynomial的特殊版
巴打可唔可以用令1個10歲細路都聽得明既方法話我知你上面講緊咩[sosad][sosad]
無, 最少你要知咩叫polynomial, 小學生應該唔會知咩係polynomial #haha#dog
咁你自己明唔明發生咩事?其實明到已經叫勁[sosad]
#107Outliers3 日前
許多代數幾何學者(例如在 MathOverflow 及 Reddit 上的討論)第一時間指出,這個反例並非完全「憑空憑運氣出現」,而是站在前人的肩膀上。

歷史源頭: 1999 年俄羅斯數學家 Anatoly Vitushkin 曾提出過一個 2D 的有理映射(rational map)反例。那個例子具備常數雅可比行列式且非單射,但唯一的缺陷是帶有分母(極點),因此不算是多項式。
評價: 社群普遍認為,這次 AI/ Alpöge 的突破關鍵在于利用第 3 個變數(維度)吸收並抹平了 Vitushkin 構造中的分母。數學家們讚嘆這是一個極其巧奪天工的代數技巧,把一個原本「差一點就成功」的舊想法,完美升華成嚴格的多項式反例。
#108紅色派對3 日前
好想知數學家點prompt
就咁叫AI 舉出一個反例?
#109膠智的kai龍3 日前
顯示更多
巴打可唔可以用令1個10歲細路都聽得明既方法話我知你上面講緊咩[sosad][sosad]
無, 最少你要知咩叫polynomial, 小學生應該唔會知咩係polynomial #haha#dog
咁你自己明唔明發生咩事?其實明到已經叫勁[sosad]
讀過calculus 3就會明, 所以physics或者engine的同學都會知條conjecture講乜 (當然點解prove or disprove好難之類我都唔知, 我唔識algebraic geometry #haha#dog)
#110膠智的kai龍3 日前
許多代數幾何學者(例如在 MathOverflow 及 Reddit 上的討論)第一時間指出,這個反例並非完全「憑空憑運氣出現」,而是站在前人的肩膀上。

歷史源頭: 1999 年俄羅斯數學家 Anatoly Vitushkin 曾提出過一個 2D 的有理映射(rational map)反例。那個例子具備常數雅可比行列式且非單射,但唯一的缺陷是帶有分母(極點),因此不算是多項式。
評價: 社群普遍認為,這次 AI/ Alpöge 的突破關鍵在于利用第 3 個變數(維度)吸收並抹平了 Vitushkin 構造中的分母。數學家們讚嘆這是一個極其巧奪天工的代數技巧,把一個原本「差一點就成功」的舊想法,完美升華成嚴格的多項式反例。
受篇文啟發唔出奇, 但係好似某個大陸人咁講到篇文佔好重credit咁就過火
#111德川家定3 日前
我比較好奇係點解人類搵唔到個反例
個反例睇落都好簡單啫
因為x,y,z嘅三維組合無限多,已經超出人類可以手算嘅範圍,同埋我估有先入為主嘅概念,當咗條猜想係啱嘅去落手#cn##cn##cn#

[offtopic][offtopic]
再舉個易嘅啲例,如何證明一個數是質數還是合成數?_?
例如:
39505874583265144526419767800614481996020776460304936454139376051579355626529450683609
727842468219535093544305870490251995655335710209799226484977949442955603
呢個數是質數還是合成數?
答:合成數,因為
=3388495837466721394368393204672181522815830368604993048084925840555281177×
11658823406671259903148376558383270818131012258146392600439520994131344334162924536139

如果你知道呢兩個因數,手算都可以算出原來的數
但只得原來的數時,你要由2~sqrt(原來的數)一直除,逐個試,只有電腦先做到O:-)
#113天滅土共3 日前
睇完啲comment覺得兒登仔真係好撚可悲 :-(
#114膠智的kai龍3 日前
睇完啲comment覺得兒登仔真係好撚可悲 :-(
咁一般人第一件事會諗有咩用
但係basic research的人只會考慮有無趣

另外有一堆一般人對basic research的幻想會嚇你一跳#haha#dog
#115debugger;3 日前
一睇條友就知佢根本唔識數學, 係度搏流量
嬲到寫左5板latex質疑fable既能力#touch#dog
#116debugger;3 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
映射 質數
Crypto
#bye#
比ai搵到integer factorization polynomial solution,世界即時大亂#haha#dog#haha#dog
#117遙遙領先(起跑)3 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
我一睇到"多元"已經知道係錯
咁都要諗基本上係gay
#118手一黏便緊(UTC+93 日前
顯示更多
回覆負評過多,按此顯示原文
映射 質數
Crypto
#bye#
比ai搵到integer factorization polynomial solution,世界即時大亂#haha#dog#haha#dog
呢個世界有lattice based cryptography
#119膠智的kai龍3 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
我一睇到"多元"已經知道係錯
咁都要諗基本上係gay
愛侵力的思考非常人能明白
#120同事係黎生3 日前
想讀數既中學雞
YEAR3開始你就係讀呢類野 [sosad][sosad][sosad]
回頭是岸 [sosad] 我遇過90%讀數既都係後悔 [sosad]
有咩後悔
嗰個grad 都quant research, trader 喎#hehe#
最渣都ibank 爭住請[slick]
驚人爭飯食#ng#
自從有咗AI後連最搵唔到工嘅拓撲學家都變成搶手貨,AI令數學系變成熱門學系#agree#rabbit#agree#rabbit#agree#rabbit
拓撲學家之前係咪通常讀博士出paper
#121海關干預電單車
引用 #3
弱智仔#oh#
#122紅姐暴雨警告3 日前
顯示更多
有咩後悔
嗰個grad 都quant research, trader 喎#hehe#
最渣都ibank 爭住請[slick]
驚人爭飯食#ng#
自從有咗AI後連最搵唔到工嘅拓撲學家都變成搶手貨,AI令數學系變成熱門學系#agree#rabbit#agree#rabbit#agree#rabbit
拓撲學家之前係咪通常讀博士出paper
去研究量子電腦[sosad]
#123Outliers3 日前
又一個graph theory conjecture被GPT 5.6 Pro證偽
呢個又重唔重要?
上次AI證明cycle double cover conjecture,有冇啲頂尖嘅graph theory專家評論過?

Dinitz-Garg-Goemans conjecture
https://x.com/dmitryrybin1/status/2079904005652893709
#124Outliers3 日前
又一個graph theory conjecture被GPT 5.6 Pro證偽
呢個又重唔重要?
上次AI證明cycle double cover conjecture,有冇啲頂尖嘅graph theory專家評論過?

Dinitz-Garg-Goemans conjecture
https://x.com/dmitryrybin1/status/2079904005652893709
不過呢個人唔係喺X只有250個followers,唔係大學數學教授,自稱係深圳AI startup cofounder
所以都係睇定啲,等啲專業數學家評論咗先
#125白花油大叔(48歲3 日前
總言之奶閪,就係最正,其他果啲野無意義
第 6 頁
#126~你老母~3 日前
世界上只有男或女兩種性別

如果要證明係岩,要由人類出現到宜家,都只係存在男或女,沒有其他性別

如果要證明係錯,只要搵到一個雙性人就得,就可以證明係錯
人類只有兩隻手,共十隻手指

要證明係錯,只要搵到一個有多或小過十隻手指嘅人,就可以證明係錯
係錯呀
因為人類唔一定十隻手指,要證明係岩,係好複雜,要100%都岩
#127非基誘2 日前
補充: Claude只係推翻左 N > 2 的情況, N = 2仲係open problem
所以Jacobi conjecture並未完全推翻
回覆負評過多,按此顯示原文
根據頭先我睇ai既小學雞版解釋,呢個猜想係俾我地理解一件野俾人整爛左後有無可能逆向整返好佢。

即係呢個係一個好基本既理論,如果證明到係得,就即係一部壞左既太空船理論上係可以唔洗換零件,直接叫件零件還原就可以整返好(當要另外既技術可能更難做到),但如果呢個猜想係錯,就即係唔洗諗呢樣科技。

唔知有無錯,睇下有無高手指正。
咁係咪即係想證明熵增是可reverse?
#128非基誘2 日前
發現讀數嗰啲全部有精神病
一日到黑晒時間鑽牛角尖想破解啲白痴數學難題
然後俾其他人/ai破解左就瘋狂抹黑人地話人地係好彩同垃圾
變左痴線佬
所以千奇唔好讀數[sosad]
講到想讀就讀到咁#[sosad]#fs 呢一科係最靠天才

使用條款及免責聲明私隱政策
Copyright © 2026 LIHKG. All Rights Reserved.
5