1. 項(xiàng)目概述當(dāng)AI“助手”開(kāi)始挑戰(zhàn)數(shù)學(xué)皇冠最近在AI和數(shù)學(xué)的交叉圈子里有個(gè)事兒討論得挺熱鬧。起因是有開(kāi)發(fā)者聲稱(chēng)利用Claude這個(gè)AI模型在一天半的時(shí)間里對(duì)黎曼猜想這個(gè)“數(shù)學(xué)界皇冠上的明珠”取得了某種“新紀(jì)錄”。這事兒聽(tīng)起來(lái)有點(diǎn)天方夜譚對(duì)吧一個(gè)搞自然語(yǔ)言處理的AI去挑戰(zhàn)純數(shù)學(xué)里最艱深、最核心的猜想之一。但恰恰是這種“跨界”和“不可能”讓它成了一個(gè)絕佳的觀察樣本讓我們能拋開(kāi)那些玄乎的炒作實(shí)實(shí)在在地看看今天的AI工具到底能在嚴(yán)肅的數(shù)學(xué)研究里扮演什么角色它的邊界又在哪里。我作為一個(gè)長(zhǎng)期混跡在技術(shù)開(kāi)發(fā)和數(shù)據(jù)分析領(lǐng)域的人對(duì)這類(lèi)“AI專(zhuān)業(yè)領(lǐng)域”的嘗試特別感興趣。黎曼猜想是什么簡(jiǎn)單說(shuō)它是關(guān)于一個(gè)叫“黎曼ζ函數(shù)”的復(fù)零點(diǎn)分布規(guī)律的一個(gè)猜想自1859年提出以來(lái)難倒了無(wú)數(shù)天才。它的證明或證偽將直接撼動(dòng)整個(gè)數(shù)論的基礎(chǔ)并波及密碼學(xué)等眾多應(yīng)用領(lǐng)域。所以當(dāng)“Claude”和“黎曼猜想”這兩個(gè)詞被放在一起時(shí)它吸引的絕不僅僅是眼球更引發(fā)了一系列深層追問(wèn)AI是在做證明嗎所謂的“新紀(jì)錄”指的是什么是計(jì)算了更多零點(diǎn)還是找到了新的反例線(xiàn)索抑或是提出了一種全新的思路框架實(shí)際上結(jié)合流傳的信息和我的理解這個(gè)“1.5天”的項(xiàng)目更可能是一次基于AI輔助的、針對(duì)黎曼猜想相關(guān)數(shù)值計(jì)算或公式推導(dǎo)的探索性實(shí)驗(yàn)。它不太可能是終結(jié)猜想的“證明”但完全可能是利用Claude強(qiáng)大的代碼生成、邏輯推理和自然語(yǔ)言理解能力在以下方面取得了比傳統(tǒng)手動(dòng)或簡(jiǎn)單腳本更高效的進(jìn)展比如優(yōu)化了計(jì)算ζ函數(shù)零點(diǎn)的算法并實(shí)現(xiàn)了更高精度的驗(yàn)證或者系統(tǒng)性地梳理和形式化了某條證明路徑上的大量推導(dǎo)步驟再或者通過(guò)符號(hào)計(jì)算和啟發(fā)式搜索發(fā)現(xiàn)了某些函數(shù)性質(zhì)之間新的、潛在的關(guān)聯(lián)模式。這對(duì)于數(shù)學(xué)研究者、計(jì)算機(jī)科學(xué)家乃至任何需要處理復(fù)雜邏輯和符號(hào)系統(tǒng)的開(kāi)發(fā)者來(lái)說(shuō)都具有很強(qiáng)的參考價(jià)值。它展示的是一種新的工作范式如何將人類(lèi)的方向性直覺(jué)、領(lǐng)域知識(shí)與AI在模式識(shí)別、海量計(jì)算和不知疲倦的迭代方面的優(yōu)勢(shì)結(jié)合起來(lái)。接下來(lái)我們就拋開(kāi)噱頭深入這個(gè)項(xiàng)目的內(nèi)核看看它到底是怎么做的我們能從中學(xué)到什么以及在實(shí)際操作中會(huì)遇到哪些真實(shí)的“坑”。2. 核心思路與技術(shù)選型解析要理解這個(gè)項(xiàng)目我們得先拆解它的目標(biāo)。黎曼猜想不是一個(gè)能靠蠻力“計(jì)算”證明的問(wèn)題但圍繞它的研究包含大量可計(jì)算、可驗(yàn)證的“子任務(wù)”。AI在這里的角色不是一個(gè)自主的數(shù)學(xué)家而是一個(gè)能力超群的“研究助理”或“實(shí)驗(yàn)平臺(tái)”。項(xiàng)目的核心思路我推測(cè)是“人類(lèi)設(shè)定框架AI執(zhí)行探索”。2.1 為什么選擇Claude而非純數(shù)學(xué)軟件提到數(shù)學(xué)計(jì)算大家首先想到的可能是Mathematica、Maple或者專(zhuān)業(yè)的數(shù)值計(jì)算庫(kù)。但這里選擇了Claude一個(gè)大型語(yǔ)言模型這背后有深刻的考量任務(wù)的不確定性高項(xiàng)目目標(biāo)可能不是執(zhí)行一個(gè)已知的、固定的算法。研究者腦中可能有一個(gè)模糊的方向或一堆待檢驗(yàn)的假設(shè)需要頻繁地調(diào)整計(jì)算目標(biāo)、修改公式、嘗試不同的參數(shù)化方式。用傳統(tǒng)數(shù)學(xué)軟件每換一個(gè)思路可能需要重寫(xiě)腳本或調(diào)整復(fù)雜的GUI操作。而Claude可以通過(guò)自然語(yǔ)言交互快速理解意圖并生成對(duì)應(yīng)的代碼如Python/NumPy/SymPy代碼這種靈活性是無(wú)可比擬的。需要混合能力項(xiàng)目很可能涉及“推導(dǎo)-編程-驗(yàn)證-分析”的循環(huán)。例如研究者用自然語(yǔ)言描述一個(gè)變換想法“試試看用函數(shù)方程變換這個(gè)表達(dá)式然后提取虛部大于0小于100的區(qū)域進(jìn)行數(shù)值積分。” Claude可以理解這個(gè)描述生成正確的符號(hào)推導(dǎo)步驟利用其內(nèi)置的數(shù)學(xué)知識(shí)并接著寫(xiě)出執(zhí)行該數(shù)值積分的Python代碼。這種從自然語(yǔ)言到數(shù)學(xué)符號(hào)再到可執(zhí)行代碼的流暢轉(zhuǎn)換是傳統(tǒng)工具鏈難以無(wú)縫提供的。探索與發(fā)現(xiàn)Claude能夠基于其訓(xùn)練數(shù)據(jù)中蘊(yùn)含的龐大數(shù)學(xué)知識(shí)論文、教科書(shū)、網(wǎng)絡(luò)資源進(jìn)行一定程度的“聯(lián)想”和“類(lèi)比”。當(dāng)計(jì)算出現(xiàn)異常模式或某個(gè)參數(shù)導(dǎo)致有趣結(jié)果時(shí)研究者可以追問(wèn)“這個(gè)結(jié)果讓我想起了哪個(gè)已知的定理或函數(shù)性質(zhì)” Claude可能提供相關(guān)的數(shù)學(xué)概念啟發(fā)新的研究方向。這是一種增強(qiáng)的“文獻(xiàn)檢索與聯(lián)想”能力。注意這里必須澄清Claude本身并不“懂得”數(shù)學(xué)它是在模仿它見(jiàn)過(guò)的數(shù)學(xué)文本和代碼中的模式。它的價(jià)值在于作為一個(gè)極其高效和廣博的“模式匹配與生成接口”將人類(lèi)模糊的想法快速具象化為可操作的邏輯和代碼。2.2 技術(shù)棧的構(gòu)建Python生態(tài)的核心地位盡管Claude是交互核心但實(shí)際的重型計(jì)算和符號(hào)操作必然依賴(lài)成熟的技術(shù)棧。從相關(guān)熱詞Python, SymPy, 數(shù)值計(jì)算可以推斷項(xiàng)目的基礎(chǔ)技術(shù)棧是圍繞Python科學(xué)計(jì)算生態(tài)構(gòu)建的核心計(jì)算引擎NumPy/SciPy用于高性能的數(shù)值計(jì)算、線(xiàn)性代數(shù)運(yùn)算、數(shù)值積分和特殊函數(shù)求值。計(jì)算ζ函數(shù)在臨界線(xiàn)上的值或者進(jìn)行大規(guī)模的零點(diǎn)搜索最終都會(huì)落到這些庫(kù)的優(yōu)化算法上。SymPy這是項(xiàng)目的“靈魂”之一。SymPy是一個(gè)純Python的符號(hào)計(jì)算庫(kù)。當(dāng)需要推導(dǎo)公式、進(jìn)行代數(shù)變換、微分積分符號(hào)運(yùn)算時(shí)SymPy不可或缺。Claude可以生成調(diào)用SymPy的代碼來(lái)自動(dòng)化復(fù)雜的符號(hào)推導(dǎo)過(guò)程。MPMath對(duì)于需要極高精度的計(jì)算比如驗(yàn)證零點(diǎn)到小數(shù)點(diǎn)后很多位Python的mpmath庫(kù)提供了任意精度浮點(diǎn)運(yùn)算能力這對(duì)黎曼猜想相關(guān)研究至關(guān)重要。交互與探索環(huán)境Jupyter Notebook / VSCode熱詞中提到了VSCode配置。這類(lèi)交互式環(huán)境是理想的工作臺(tái)。研究者可以在一個(gè)單元格里用自然語(yǔ)言與Claude交流在下一個(gè)單元格里直接執(zhí)行生成的代碼并可視化結(jié)果形成快速迭代的研究循環(huán)。輔助與驗(yàn)證工具Pandas/Matplotlib用于管理計(jì)算產(chǎn)生的海量數(shù)據(jù)如零點(diǎn)位置、函數(shù)值序列并進(jìn)行可視化。一張清晰的臨界線(xiàn)函數(shù)值符號(hào)變化圖可能比一堆數(shù)字更有洞察力。單元測(cè)試框架如pytest對(duì)于生成的復(fù)雜算法代碼需要構(gòu)建嚴(yán)格的測(cè)試用例例如用已知的平凡零點(diǎn)驗(yàn)證算法正確性確保自動(dòng)化過(guò)程的可靠性。這個(gè)技術(shù)選型體現(xiàn)了務(wù)實(shí)的原則用Claude作為“大腦”和“翻譯官”指揮Python生態(tài)中這些久經(jīng)沙場(chǎng)的“武將”去執(zhí)行具體的計(jì)算任務(wù)從而將人類(lèi)研究者的認(rèn)知負(fù)擔(dān)從繁瑣的編程和推導(dǎo)中解放出來(lái)更聚焦于戰(zhàn)略性的方向判斷和假設(shè)構(gòu)建。3. 項(xiàng)目實(shí)操AI輔助數(shù)學(xué)研究的工作流拆解光有思路和工具還不夠我們得看看具體怎么干。這個(gè)“1.5天”的項(xiàng)目其工作流很可能是一個(gè)高度迭代和交互的過(guò)程我們可以將其分解為幾個(gè)關(guān)鍵階段。3.1 階段一問(wèn)題定義與計(jì)算目標(biāo)具象化研究者首先要做的是把一個(gè)宏大的“研究黎曼猜想”目標(biāo)拆解成一系列具體、可計(jì)算、可驗(yàn)證的“小任務(wù)”。這本身就是一項(xiàng)關(guān)鍵技能。Claude在這里可以充當(dāng)一個(gè)優(yōu)秀的“澄清者”。例如研究者最初的指令可能是“我想探索黎曼ζ函數(shù)在臨界線(xiàn)Re(s)1/2上的性質(zhì)。” 這個(gè)指令太模糊。通過(guò)與Claude的對(duì)話(huà)可以將其細(xì)化人類(lèi)“先驗(yàn)證前10個(gè)非平凡零點(diǎn)的位置精度至少到小數(shù)點(diǎn)后15位。”Claude理解指令生成Python代碼。代碼會(huì)包括定義ζ函數(shù)使用mpmath.zeta在臨界線(xiàn)的一段區(qū)間內(nèi)使用尋根算法如牛頓法或更穩(wěn)健的圍道積分法輸出結(jié)果并與已知的零點(diǎn)數(shù)據(jù)庫(kù)如Andrew Odlyzko的頁(yè)面進(jìn)行對(duì)比驗(yàn)證。人類(lèi)“好的。現(xiàn)在我想研究哈代-李特爾伍德函數(shù) Z(t) 的符號(hào)變化。寫(xiě)一個(gè)函數(shù)來(lái)計(jì)算它并繪制它在 t 從0到100之間的圖像。”Claude生成計(jì)算Z(t)的代碼Z(t)是與ζ函數(shù)在臨界線(xiàn)上等價(jià)的實(shí)函數(shù)并生成使用Matplotlib繪圖的代碼。這個(gè)階段的核心是將自然語(yǔ)言描述的研究意圖精確轉(zhuǎn)化為API調(diào)用和算法步驟。Claude減少了從思想到代碼的“摩擦”。3.2 階段二算法實(shí)現(xiàn)與代碼生成對(duì)于黎曼猜想相關(guān)研究一些經(jīng)典算法是繞不開(kāi)的。Claude的價(jià)值在于快速、準(zhǔn)確地實(shí)現(xiàn)它們甚至進(jìn)行優(yōu)化。實(shí)戰(zhàn)示例計(jì)算零點(diǎn)牛頓法改進(jìn)假設(shè)我們需要在區(qū)間 [14, 15] 內(nèi)尋找零點(diǎn)。一個(gè)樸素的方法是計(jì)算函數(shù)值的符號(hào)變化。但Claude可以做得更好。人類(lèi)提示“用牛頓法在區(qū)間[14,15]內(nèi)尋找Z(t)的零點(diǎn)。注意Z(t)振蕩很劇烈牛頓法可能不收斂。請(qǐng)實(shí)現(xiàn)一個(gè)安全的版本如果牛頓迭代超出初始區(qū)間或超過(guò)最大步數(shù)則自動(dòng)回退到二分法。”Claude生成代碼框架import mpmath as mp from typing import Optional def hardy_littlewood_Z(t): 計(jì)算哈代-李特爾伍德 Z(t) 函數(shù)使用Riemann-Siegel公式近似以提高速度 # Claude可能會(huì)生成或調(diào)用一個(gè)高效的Riemann-Siegel公式實(shí)現(xiàn) # 這里用mpmath的zeta函數(shù)示意 s 0.5 1j*t return mp.zeta(s) * mp.e ** (mp.j * mp.arg(mp.gamma(s/2))) * mp.pi ** (-s/2) def find_root_hybrid(f, a, b, tol1e-15, max_iter100): 混合牛頓-二分法尋根 x (a b) / 2.0 # 初始猜測(cè) for i in range(max_iter): fx f(x) if abs(fx) tol: return x # 嘗試計(jì)算導(dǎo)數(shù)使用中心差分因?yàn)榻馕鰧?dǎo)數(shù)復(fù)雜 h 1e-8 df (f(xh) - f(x-h)) / (2*h) if abs(df) 1e-12: # 導(dǎo)數(shù)太小牛頓法無(wú)效 dx 0 else: dx fx / df x_new x - dx # 安全保護(hù)如果新點(diǎn)跳出區(qū)間或迭代步長(zhǎng)過(guò)大改用二分法 if not (a x_new b) or abs(dx) (b - a) / 2: # 回退到二分法 fa, fb f(a), f(b) if fa * fb 0: raise ValueError(區(qū)間兩端函數(shù)值同號(hào)無(wú)法保證有根) mid (a b) / 2 fmid f(mid) if abs(fmid) tol: return mid if fa * fmid 0: b mid else: a mid x (a b) / 2 else: x x_new raise RuntimeError(f在 {max_iter} 次迭代后未達(dá)到精度要求) # 使用 root find_root_hybrid(hardy_littlewood_Z, 14.0, 15.0) print(f找到的零點(diǎn)近似值{root})這段代碼展示了Claude如何將“安全牛頓法”這個(gè)高級(jí)指令轉(zhuǎn)化為包含異常處理、算法切換的健壯代碼。研究者無(wú)需從頭回憶數(shù)值分析細(xì)節(jié)。3.3 階段三大規(guī)模計(jì)算與結(jié)果分析當(dāng)基礎(chǔ)算法就緒后就可以進(jìn)行規(guī)模化探索。例如批量計(jì)算數(shù)千個(gè)零點(diǎn)并分析其間隔分布蒙哥馬利對(duì)關(guān)聯(lián)猜想。人類(lèi)指令“現(xiàn)在計(jì)算前1000個(gè)非平凡零點(diǎn)的虛部并計(jì)算相鄰零點(diǎn)間隔的歸一化差值。繪制其分布直方圖并與隨機(jī)矩陣?yán)碚擃A(yù)測(cè)的Wigner surmise高斯酉系綜GUE分布進(jìn)行對(duì)比。”Claude的任務(wù)生成一個(gè)高效的循環(huán)或向量化代碼調(diào)用上述尋根函數(shù)計(jì)算零點(diǎn)序列。生成計(jì)算歸一化間隔δ_n (γ_{n1} - γ_n) * (log(γ_n/(2π)) / (2π))的代碼。生成使用matplotlib繪制直方圖并疊加GUE理論分布曲線(xiàn)的代碼。關(guān)鍵它可能還會(huì)自動(dòng)生成一段簡(jiǎn)要的數(shù)據(jù)分析說(shuō)明比如“計(jì)算出的分布與GUE預(yù)測(cè)的卡方檢驗(yàn)p值為XX表明在XX顯著性水平下無(wú)法拒絕一致性假設(shè)”。在這個(gè)階段Claude像是一個(gè)不知疲倦的“計(jì)算員”和“初級(jí)數(shù)據(jù)分析師”把研究者從重復(fù)的編碼和繪圖勞動(dòng)中解放出來(lái)。3.4 階段四推導(dǎo)驗(yàn)證與假設(shè)檢驗(yàn)更深入的工作可能涉及公式推導(dǎo)。例如研究者想驗(yàn)證某個(gè)基于ζ函數(shù)導(dǎo)數(shù)的恒等式。人類(lèi)“驗(yàn)證這個(gè)恒等式是否成立對(duì)于Re(s)1有 ζ(s)/ζ(s) -Σ_{n1}^∞ Λ(n) / n^s其中Λ(n)是馮·曼戈?duì)柼睾瘮?shù)。先用SymPy進(jìn)行符號(hào)推導(dǎo)驗(yàn)證再取幾個(gè)具體的s值進(jìn)行數(shù)值驗(yàn)證。”Claude生成SymPy代碼定義符號(hào)s, n嘗試進(jìn)行求和與微分的符號(hào)運(yùn)算。雖然SymPy可能無(wú)法直接處理這個(gè)無(wú)窮求和但Claude可以生成代碼來(lái)驗(yàn)證有限項(xiàng)的部分和與數(shù)值微分的關(guān)系。生成數(shù)值驗(yàn)證代碼選擇幾個(gè)復(fù)數(shù)點(diǎn)s一邊用mpmath計(jì)算zeta(s)的數(shù)值導(dǎo)數(shù)另一邊計(jì)算馮·曼戈?duì)柼睾瘮?shù)求和的部分和比如前10000項(xiàng)比較兩者是否接近。這個(gè)過(guò)程將符號(hào)數(shù)學(xué)與數(shù)值驗(yàn)證結(jié)合為數(shù)學(xué)猜想提供了“實(shí)驗(yàn)證據(jù)”。Claude的強(qiáng)項(xiàng)是快速組裝這些驗(yàn)證流程。4. 深度解析Claude在數(shù)學(xué)探索中的能力邊界與風(fēng)險(xiǎn)經(jīng)過(guò)上述工作流的拆解我們可以看到Claude的強(qiáng)大輔助能力。但“1.5天突破新紀(jì)錄”這種說(shuō)法必須放在一個(gè)理性的框架下審視。我們需要深入理解其能力的邊界和潛在風(fēng)險(xiǎn)。4.1 能力的本質(zhì)模式模仿與組合而非真正理解Claude的所有輸出都基于其訓(xùn)練數(shù)據(jù)中存在的模式。這意味著它能出色地完成“已知”任務(wù)如果計(jì)算零點(diǎn)、繪制分布圖、驗(yàn)證經(jīng)典恒等式等方法在教科書(shū)、論文或開(kāi)源代碼中很常見(jiàn)那么Claude生成相關(guān)代碼的準(zhǔn)確率會(huì)很高。它在“創(chuàng)新”上存在根本局限如果一條證明路徑完全新穎所需的邏輯跳躍或構(gòu)造在訓(xùn)練數(shù)據(jù)中沒(méi)有類(lèi)似模式Claude無(wú)法憑空創(chuàng)造。它不能像人類(lèi)數(shù)學(xué)家一樣擁有真正的“洞察力”或“直覺(jué)”。所謂的“新思路”更可能是它將不同數(shù)學(xué)領(lǐng)域的已知結(jié)論進(jìn)行了新穎的組合或類(lèi)比而這種組合是否有效必須由人類(lèi)專(zhuān)家進(jìn)行嚴(yán)格的、批判性的審查。“幻覺(jué)”在數(shù)學(xué)中極其危險(xiǎn)在文學(xué)創(chuàng)作中AI的“幻覺(jué)”編造事實(shí)可能不易察覺(jué)。但在數(shù)學(xué)中一個(gè)錯(cuò)誤的公式、一個(gè)不成立的引理會(huì)導(dǎo)致整個(gè)推導(dǎo)崩塌。Claude可能會(huì)“自信地”生成一個(gè)看似合理但數(shù)學(xué)上錯(cuò)誤的推導(dǎo)步驟或者引用一個(gè)不存在的“定理”。絕對(duì)不可將Claude的輸出視為真理必須步步為營(yíng)嚴(yán)格驗(yàn)證。4.2 實(shí)操中的核心風(fēng)險(xiǎn)與應(yīng)對(duì)策略在實(shí)際操作中依賴(lài)AI進(jìn)行數(shù)學(xué)輔助研究會(huì)遇到幾個(gè)非常具體的坑代碼正確性風(fēng)險(xiǎn)Claude生成的代碼可能有邊界錯(cuò)誤、數(shù)值不穩(wěn)定問(wèn)題或效率低下。應(yīng)對(duì)策略必須建立驗(yàn)證套件。對(duì)于任何生成的算法先用已知的、小規(guī)模的、有標(biāo)準(zhǔn)答案的案例進(jìn)行測(cè)試。例如計(jì)算前幾個(gè)零點(diǎn)與權(quán)威數(shù)據(jù)庫(kù)比對(duì)驗(yàn)證恒等式在簡(jiǎn)單情況下的成立性。數(shù)學(xué)嚴(yán)謹(jǐn)性風(fēng)險(xiǎn)AI可能混淆定理的適用條件比如在收斂域外使用公式或者進(jìn)行不合法的符號(hào)操作。應(yīng)對(duì)策略研究者自身必須具備扎實(shí)的領(lǐng)域知識(shí)。將Claude視為一個(gè)“提議生成器”每一個(gè)數(shù)學(xué)步驟都需要你用批判性思維重新審視。對(duì)于關(guān)鍵推導(dǎo)要求Claude逐步輸出并解釋每一步的依據(jù)“根據(jù)柯西積分定理這里可以…”這有助于發(fā)現(xiàn)邏輯漏洞。探索迷失風(fēng)險(xiǎn)由于交互太順暢可能陷入無(wú)目的的“計(jì)算狂歡”生成大量圖表和數(shù)據(jù)卻缺乏明確的研究問(wèn)題。應(yīng)對(duì)策略在項(xiàng)目開(kāi)始前用文檔明確寫(xiě)下核心假設(shè)和要回答的具體問(wèn)題。每個(gè)計(jì)算session都圍繞驗(yàn)證或反駁某個(gè)假設(shè)進(jìn)行。定期回顧“我這次運(yùn)行代碼是為了證明/發(fā)現(xiàn)什么”可復(fù)現(xiàn)性問(wèn)題Claude的對(duì)話(huà)是狀態(tài)性的且模型可能更新。如何保證六個(gè)月后還能復(fù)現(xiàn)完全相同的推導(dǎo)和計(jì)算應(yīng)對(duì)策略這是最容易被忽視但最重要的一點(diǎn)。必須將最終確認(rèn)有效的代碼、關(guān)鍵的提示詞Prompt以及對(duì)應(yīng)的Claude回復(fù)完整地保存在版本控制系統(tǒng)如Git中。使用Jupyter Notebook時(shí)要清理中間探索過(guò)程保存一個(gè)干凈、可執(zhí)行的最終版本。對(duì)于關(guān)鍵的數(shù)學(xué)結(jié)論不能只依賴(lài)Claude的文本輸出必須保存能獨(dú)立運(yùn)行的腳本。4.3 何謂“新紀(jì)錄”——可能的內(nèi)涵解讀在理解了邊界和風(fēng)險(xiǎn)后我們?cè)賮?lái)看“新紀(jì)錄”可能指什么。它幾乎不可能是“證明了黎曼猜想”。更合理的解釋包括計(jì)算效率紀(jì)錄使用AI優(yōu)化的算法和并行計(jì)算策略在1.5天內(nèi)驗(yàn)證了比以往傳統(tǒng)方法在相同硬件上更多數(shù)量的零點(diǎn)例如驗(yàn)證了前100億個(gè)零點(diǎn)中更大范圍的子集或者達(dá)到了更高的本地計(jì)算精度。推導(dǎo)自動(dòng)化紀(jì)錄將某一條已知的、冗長(zhǎng)的分析證明路徑可能需要幾十頁(yè)紙用形式化的代碼可能結(jié)合SymPy和定理證明器如Lean的接口進(jìn)行了完整的、機(jī)器可檢查的推導(dǎo)這個(gè)過(guò)程在AI輔助下僅用了1.5天就搭建了框架或完成了核心部分。假設(shè)掃描廣度紀(jì)錄針對(duì)某個(gè)依賴(lài)于黎曼猜想的反證法假設(shè)用AI系統(tǒng)性地生成了海量的、結(jié)構(gòu)化的反例搜索空間并在短時(shí)間內(nèi)完成了自動(dòng)化測(cè)試排除了一大類(lèi)潛在的反例可能性這種“暴力枚舉智能篩選”的規(guī)模是前所未有的。概念關(guān)聯(lián)新發(fā)現(xiàn)在AI的聯(lián)想幫助下研究者將黎曼ζ函數(shù)的某個(gè)性質(zhì)與另一個(gè)看似遙遠(yuǎn)的數(shù)學(xué)領(lǐng)域如隨機(jī)矩陣?yán)碚摗?dòng)力系統(tǒng)、代數(shù)幾何的特定工具建立了新的形式化聯(lián)系并初步驗(yàn)證了這種聯(lián)系的有效性這為猜想研究開(kāi)辟了一條新的潛在路徑。無(wú)論哪種其價(jià)值不在于“AI解決了問(wèn)題”而在于“AI極大地加速和拓展了人類(lèi)研究者的探索過(guò)程”將人類(lèi)從體力勞動(dòng)中解放出來(lái)專(zhuān)注于更高層次的戰(zhàn)略思考。5. 構(gòu)建你自己的AI輔助數(shù)學(xué)研究環(huán)境如果你也對(duì)用AI輔助進(jìn)行數(shù)學(xué)、物理或任何需要復(fù)雜符號(hào)推理的工作感興趣可以參考以下步驟搭建一個(gè)實(shí)用的環(huán)境。這里以VSCode為例因?yàn)樗婢邚?qiáng)大的代碼編輯器和集成的AI能力。5.1 基礎(chǔ)環(huán)境配置安裝Python與科學(xué)計(jì)算庫(kù)# 建議使用Miniconda或虛擬環(huán)境管理依賴(lài) conda create -n math-ai python3.10 conda activate math-ai pip install numpy scipy sympy mpmath pandas matplotlib jupyter # 可選用于更高級(jí)的數(shù)學(xué)pip install sage-all (但Sage安裝較復(fù)雜)安裝VSCode及關(guān)鍵插件安裝VSCode。必裝插件Python(Microsoft)提供Python語(yǔ)言支持、調(diào)試、Jupyter Notebook集成。Jupyter(Microsoft)增強(qiáng)Notebook體驗(yàn)。Claude Code(或你選擇的AI編程助手插件)這是與Claude交互的橋梁。注意根據(jù)網(wǎng)絡(luò)情況你可能需要配置其API端點(diǎn)如果使用官方API需自行申請(qǐng)。熱詞中提到的“claude code安裝”和“vscode配置claude code”正是這一步。配置Claude Code插件通常需要在設(shè)置中填入有效的API密鑰。5.2 核心工作流搭建在VSCode中你可以創(chuàng)建兩種主要文件純Python腳本 (.py)用于最終定型、可重復(fù)運(yùn)行的算法。你可以用Claude Code插件在代碼行旁通過(guò)聊天框詢(xún)問(wèn)“如何優(yōu)化這個(gè)零點(diǎn)查找函數(shù)的速度”或者“為這個(gè)函數(shù)添加一個(gè)檢查收斂性的裝飾器。”Jupyter Notebook (.ipynb)用于探索性研究。這是主力。你可以在一個(gè)Markdown單元格里寫(xiě)下思考“今天的目標(biāo)是驗(yàn)證函數(shù)方程在s0.5100i附近是否成立。”然后在代碼單元格里直接讓Claude生成代碼。執(zhí)行后立即在下一個(gè)單元格可視化結(jié)果。Notebook天然支持這種“思考-代碼-結(jié)果”的循環(huán)。5.3 高效提示Prompt工程技巧與Claude合作研究數(shù)學(xué)提示詞的質(zhì)量直接決定產(chǎn)出效率。以下是一些經(jīng)過(guò)驗(yàn)證的技巧角色設(shè)定“你是一位專(zhuān)業(yè)的計(jì)算數(shù)學(xué)家精通復(fù)分析和Python科學(xué)計(jì)算。請(qǐng)用嚴(yán)謹(jǐn)?shù)臄?shù)學(xué)語(yǔ)言和高效的代碼幫助我。”任務(wù)分解不要一次性給一個(gè)大任務(wù)。像前文所述將大問(wèn)題分解為小步驟一步步要求。要求分步輸出與解釋“請(qǐng)先推導(dǎo)這個(gè)積分表達(dá)式給出每一步的數(shù)學(xué)依據(jù)。然后根據(jù)推導(dǎo)結(jié)果編寫(xiě)一個(gè)Python函數(shù)來(lái)計(jì)算它。最后用這個(gè)函數(shù)計(jì)算以下三個(gè)示例值并驗(yàn)證。”指定格式與庫(kù)“使用SymPy進(jìn)行符號(hào)推導(dǎo)結(jié)果用LaTeX格式輸出。數(shù)值計(jì)算部分使用mpmath精度設(shè)置為50位小數(shù)。”主動(dòng)要求驗(yàn)證“生成的代碼請(qǐng)同時(shí)包含一個(gè)單元測(cè)試用已知的簡(jiǎn)單案例驗(yàn)證其正確性。”處理錯(cuò)誤當(dāng)代碼運(yùn)行出錯(cuò)或結(jié)果不合理時(shí)將完整的錯(cuò)誤信息粘貼給Claude并問(wèn)“這段代碼在計(jì)算XX時(shí)出錯(cuò)了錯(cuò)誤信息是…。請(qǐng)分析可能的原因并提供修正后的版本。”5.4 項(xiàng)目管理與知識(shí)沉淀為了避免探索過(guò)程變成一團(tuán)亂麻必須做好管理版本控制使用Git。為每個(gè)獨(dú)立的研究想法創(chuàng)建一個(gè)分支。main分支只保留經(jīng)過(guò)充分驗(yàn)證、代碼整潔的最終版本。實(shí)驗(yàn)日志在Notebook的開(kāi)頭或一個(gè)單獨(dú)的README.md中記錄每次實(shí)驗(yàn)的目標(biāo)、核心假設(shè)、使用的提示詞關(guān)鍵詞、主要發(fā)現(xiàn)和結(jié)論。這能幫你理清思路也便于日后回顧。代碼模塊化將通用的函數(shù)如零點(diǎn)計(jì)算、函數(shù)繪圖、誤差分析抽象成獨(dú)立的.py模塊在Notebook中導(dǎo)入。這樣不僅代碼清晰也便于復(fù)用和測(cè)試。結(jié)果歸檔將重要的圖表、數(shù)據(jù)表格和關(guān)鍵數(shù)值結(jié)果有組織地保存在results/文件夾下并配上簡(jiǎn)短的說(shuō)明文本。6. 常見(jiàn)問(wèn)題與實(shí)戰(zhàn)排坑指南在實(shí)際操作中你一定會(huì)遇到各種各樣的問(wèn)題。下面是我總結(jié)的一些典型場(chǎng)景及其解決方案。6.1 Claude生成代碼的典型問(wèn)題問(wèn)題現(xiàn)象可能原因排查與解決步驟代碼語(yǔ)法錯(cuò)誤無(wú)法運(yùn)行1. Claude的“幻覺(jué)”生成了不存在的函數(shù)或錯(cuò)誤語(yǔ)法。2. 缺少必要的庫(kù)導(dǎo)入。1.仔細(xì)閱讀錯(cuò)誤信息定位出錯(cuò)行。2. 將錯(cuò)誤信息反饋給Claude“這段代碼在運(yùn)行時(shí)報(bào)錯(cuò)[錯(cuò)誤信息]請(qǐng)修正。”3. 手動(dòng)檢查導(dǎo)入語(yǔ)句確保import了所有用到的庫(kù)numpy as np,from sympy import *等。數(shù)值結(jié)果不準(zhǔn)確或溢出1. 算法數(shù)值不穩(wěn)定如直接計(jì)算大數(shù)的階乘。2. 精度設(shè)置不足。3. 存在整數(shù)除法等問(wèn)題。1. 用極小的、已知答案的案例進(jìn)行測(cè)試。2. 對(duì)于涉及大數(shù)或小數(shù)的計(jì)算顯式設(shè)置精度mp.mp.dps 50。3. 檢查是否應(yīng)使用浮點(diǎn)數(shù)1.0而非整數(shù)1。4. 要求Claude使用更穩(wěn)定的數(shù)值方法如mpmath的內(nèi)置函數(shù)替代自行實(shí)現(xiàn)的級(jí)數(shù)求和。代碼效率極低運(yùn)行慢Claude可能選擇了直觀但復(fù)雜度高的算法如多重循環(huán)。1. 向Claude描述性能要求“這個(gè)計(jì)算需要處理10萬(wàn)個(gè)數(shù)據(jù)點(diǎn)請(qǐng)使用向量化操作NumPy優(yōu)化以下代碼。”2. 對(duì)于重復(fù)計(jì)算詢(xún)問(wèn)“這里是否有遞歸或重復(fù)計(jì)算可以引入緩存functools.lru_cache嗎”數(shù)學(xué)推導(dǎo)步驟有跳躍或錯(cuò)誤AI對(duì)數(shù)學(xué)嚴(yán)謹(jǐn)性的把握不足。1.要求逐步推導(dǎo)“請(qǐng)從第一步[已知等式]開(kāi)始詳細(xì)寫(xiě)出每一步變換并注明使用的定理或公式名稱(chēng)。”2. 對(duì)于關(guān)鍵步驟手動(dòng)用SymPy驗(yàn)證將Claude給出的前后表達(dá)式用Sympy的simplify()或equals()函數(shù)檢查是否等價(jià)。6.2 數(shù)學(xué)概念與實(shí)現(xiàn)之間的“翻譯”難題有時(shí)你腦子里清楚數(shù)學(xué)概念但不知道如何用代碼表達(dá)。場(chǎng)景你想驗(yàn)證“ζ(s)的函數(shù)方程”。低效提示“寫(xiě)代碼驗(yàn)證黎曼ζ函數(shù)的函數(shù)方程。”高效提示“黎曼ζ函數(shù)的函數(shù)方程為ζ(s) 2^s * π^(s-1) * sin(πs/2) * Γ(1-s) * ζ(1-s)。請(qǐng)編寫(xiě)一個(gè)Python函數(shù)對(duì)于給定的復(fù)數(shù)s使用mpmath分別計(jì)算等號(hào)左邊mp.zeta(s)和等號(hào)右邊表達(dá)式的值。然后在矩形區(qū)域 {s: Re(s)在[-5,5] Im(s)在[10,50]} 內(nèi)隨機(jī)選取100個(gè)點(diǎn)計(jì)算左右兩邊的絕對(duì)誤差并輸出最大誤差。請(qǐng)確保處理s為負(fù)整數(shù)時(shí)的奇點(diǎn)sin項(xiàng)為零。”后一個(gè)提示明確了公式、工具、驗(yàn)證方法和異常處理Claude生成可用代碼的概率大大增加。6.3 依賴(lài)管理與環(huán)境隔離數(shù)學(xué)計(jì)算經(jīng)常用到一些特定版本的庫(kù)。問(wèn)題代碼在別人的機(jī)器上跑不起來(lái)因?yàn)閹?kù)版本不一致。解決始終使用虛擬環(huán)境并導(dǎo)出依賴(lài)列表。# 在項(xiàng)目根目錄 conda activate math-ai pip freeze requirements.txt將requirements.txt納入版本管理。他人在克隆項(xiàng)目后可以一鍵安裝所有依賴(lài)pip install -r requirements.txt。6.4 面對(duì)AI的“固執(zhí)”錯(cuò)誤有時(shí)Claude會(huì)堅(jiān)持一個(gè)錯(cuò)誤的思路。策略不要一直糾纏。嘗試重啟對(duì)話(huà)開(kāi)啟一個(gè)新的聊天會(huì)話(huà)用更清晰、更基礎(chǔ)的方式重新描述問(wèn)題。切換視角“假設(shè)你是一個(gè)數(shù)值分析專(zhuān)家請(qǐng)指出以下計(jì)算零點(diǎn)的方法可能存在的數(shù)值穩(wěn)定性問(wèn)題...[粘貼代碼]”。手動(dòng)介入承認(rèn)AI的局限對(duì)于最關(guān)鍵、最核心的算法部分自己動(dòng)手編寫(xiě)或深度修改。將AI的產(chǎn)出作為初稿而非終稿。這個(gè)“1.5天突破新紀(jì)錄”的項(xiàng)目其最大的啟示不在于結(jié)果本身而在于它生動(dòng)演示了一種未來(lái)可能成為常態(tài)的研究模式人類(lèi)是戰(zhàn)略家和裁判AI是超級(jí)戰(zhàn)術(shù)執(zhí)行者和靈感碰撞器。它不會(huì)取代數(shù)學(xué)家但會(huì)重新定義數(shù)學(xué)家的工作方式——將創(chuàng)造力從繁瑣的“計(jì)算苦力”和“文獻(xiàn)搬運(yùn)”中解放出來(lái)投入到更本質(zhì)的構(gòu)思與判斷中。對(duì)于我們普通人而言掌握這套“人機(jī)協(xié)作”的方法論意味著在任何需要復(fù)雜邏輯、符號(hào)處理和探索性計(jì)算的領(lǐng)域你都擁有了一位能力非凡的合作伙伴。關(guān)鍵是要清醒地認(rèn)識(shí)它的邊界用嚴(yán)謹(jǐn)?shù)尿?yàn)證為它的創(chuàng)造力戴上韁繩讓工具真正為你的目標(biāo)服務(wù)。