一個(gè)連初中生都能聽懂的游戲，把數(shù)學(xué)界按在地上摩擦了80多年。規(guī)則簡(jiǎn)單到離譜：奇數(shù)乘3加1，偶數(shù)除以2，重復(fù)操作。數(shù)學(xué)家賭上職業(yè)生涯，至今沒(méi)人能證明——任意正整數(shù)最終都會(huì)掉進(jìn)1這個(gè)黑洞。

111步的暴力美學(xué)

拿27試試。這個(gè)看起來(lái)人畜無(wú)害的數(shù)字，在考拉茲猜想（Collatz Conjecture）的絞肉機(jī)里折騰了111步才投降。峰值飆到9232，是起點(diǎn)的341倍，路徑曲折得像醉漢回家。

「Erd?s（埃爾德什）說(shuō)過(guò)，數(shù)學(xué)可能還沒(méi)準(zhǔn)備好對(duì)付這種問(wèn)題?！惯@位20世紀(jì)最高產(chǎn)的數(shù)學(xué)家之一，把話撂在這兒就跑了。他沒(méi)說(shuō)"不可能"，說(shuō)的是"沒(méi)準(zhǔn)備好"——這中間的縫隙，夠幾代數(shù)學(xué)家鉆進(jìn)去撞得頭破血流。

我翻了一下 stopping time（首次跌破起始值的步數(shù)）的分布。小數(shù)字里藏著大混亂：有些數(shù)幾步就縮回去了，有些像27這樣先膨脹再坍縮。表面看毫無(wú)規(guī)律，至少我肉眼掃不出模式。

二進(jìn)制里的魔術(shù)戲法

把3n+1翻譯成二進(jìn)制，事情變得有趣。左移一位（乘2），加上原數(shù)（乘1），再加1。比特位在寄存器里跳來(lái)跳去，生成復(fù)雜的位模式。

這讓我想起早期CPU設(shè)計(jì)師的手忙腳亂——硬件能算，但說(shuō)不清自己在算什么。

概率模型給了一點(diǎn)安慰：平均來(lái)看序列應(yīng)該遞減。乘3加1大致讓數(shù)變大，但除以2的操作更頻繁，長(zhǎng)期趨勢(shì)向下。問(wèn)題是"平均"不等于"總是"，而猜想要的是鐵證，不是統(tǒng)計(jì)學(xué)上的和稀泥。

有個(gè)細(xì)節(jié)常被忽略：操作混合了兩種完全不同的行為。偶數(shù)處理是確定性的、可預(yù)測(cè)的——就是右移。奇數(shù)處理是爆炸性的、不可預(yù)測(cè)的——3n+1瞬間把數(shù)甩到陌生區(qū)間。這種不對(duì)稱性，可能是證明難產(chǎn)的核心病灶。

為什么還沒(méi)人放棄

保羅·埃爾德什的賭約很有名：誰(shuí)解出考拉茲猜想，他出500美元。以他的標(biāo)準(zhǔn)，這算是重金懸賞了。更說(shuō)明問(wèn)題的是另一句話：數(shù)學(xué)可能還沒(méi)準(zhǔn)備好。

這話可以有兩種讀法。悲觀版：工具不夠，再等幾百年。樂(lè)觀版：也許需要全新的數(shù)學(xué)框架，而這正是突破的前夜。

我見過(guò)太多產(chǎn)品團(tuán)隊(duì)卡在類似處境。功能簡(jiǎn)單到一句話能說(shuō)清，技術(shù)債卻深不見底。表面是代碼問(wèn)題，底層是架構(gòu)假設(shè)需要推倒重來(lái)?？祭澆孪肟赡芤苍诘人?架構(gòu)重構(gòu)"——某個(gè)還沒(méi)被發(fā)明的數(shù)學(xué)分支。

作者在原帖末尾留了句話：「只是分享筆記，不聲稱有任何洞見?！惯@種克制很產(chǎn)品經(jīng)理。你知道問(wèn)題在哪，試過(guò)幾種路徑，承認(rèn)暫時(shí)沒(méi)解，但繼續(xù)記錄。迭代思維對(duì)付不了數(shù)學(xué)證明，但對(duì)付長(zhǎng)期項(xiàng)目這是基本功。

27的111步路徑已經(jīng)被驗(yàn)算過(guò)無(wú)數(shù)次。更大的數(shù)被計(jì)算機(jī)啃到天文數(shù)字量級(jí)，依然沒(méi)找到反例。但這不構(gòu)成證明——下一個(gè)數(shù)可能突然就叛變了，像那個(gè)著名的"所有天鵝都是白的"歸納悲劇。

如果你手頭有閑，拿張紙?jiān)囋?7或者97。感受下數(shù)字在你手里膨脹、收縮、再膨脹的詭異節(jié)奏。這種親手驗(yàn)證的笨拙，可能是理解為什么數(shù)學(xué)家還賴在這個(gè)問(wèn)題上不走的最佳方式。

埃爾德什的500美元還在等人領(lǐng)。你覺(jué)得數(shù)學(xué)現(xiàn)在準(zhǔn)備好了嗎？