你身體里每一個原子的核心，都藏著一個已經困擾物理學家七十年的問題。

質子帶正電荷，原子核里的質子緊緊擠在一起，按照電磁學的基本規(guī)律，它們理應以極大的力量彼此排斥，原子核在誕生的瞬間就該轟然解體。宇宙不應該存在，你也不應該存在。然而這里我們都好好的，這說明有某種力量壓制了電磁排斥，把質子死死鎖在原子核里。

這種力量叫做強核力，它是自然界四種基本力中最強的一種，強到把電磁力直接碾壓成了可以忽略不計的存在。但問題是，即便物理學家已經知道它存在了幾十年，已經建立了描述它的數(shù)學方程，這套理論依然留著一個無法填補的空洞。經過二十多年的停滯，新的數(shù)學工具終于開始觸及這個空洞的邊緣。

描述強核力的理論框架叫做量子色動力學，簡稱QCD，它是粒子物理學標準模型的核心組成部分。在QCD的圖景里，質子和中子并非不可分割的基本粒子，它們各自由三個夸克構成，夸克之間通過交換一種叫做"膠子"的粒子來傳遞強核力，膠子就是把夸克粘在一起的"膠水"。

這套理論在定量預測上精準得令人嘆服。但它有一個根本性的悖論，讓數(shù)學家和物理學家都頭痛至今：膠子沒有質量，夸克本身的質量極輕，但由它們構成的質子和中子卻有著相當可觀的質量。事實上，你身體里可見物質質量的約99%，并非來自希格斯機制賦予夸克的那點質量，而是來自夸克和膠子在質子內部相互作用所產生的能量，這些能量通過愛因斯坦的質能方程轉化成了質量。

換句話說，你身體里幾乎所有的質量，來自一群沒有質量的粒子之間的相互作用能量。

這個現(xiàn)象在實驗上已經被反復證實，但在理論上，沒有人能從QCD的基本方程出發(fā)，嚴格地數(shù)學推導出"為什么強核力的最低能量激發(fā)態(tài)必須有質量"。這個問題被稱為"楊-米爾斯質量間隙問題"，是克雷數(shù)學研究所設立的七個千禧年大獎難題之一，懸賞獎金一百萬美元，至今無人領取。

強核力方程還有另一個讓人頭疼的特性：它是"非阿貝爾"的，用更直白的話說，就是操作的順序不能隨意調換，先做A再做B和先做B再做A會得到不同的結果。這讓方程變得極度復雜，無法用處理電磁力那套現(xiàn)成的數(shù)學工具來應對。

2014年菲爾茲獎得主馬丁·海勒近年來一直在用他發(fā)展出的"正則結構"數(shù)學框架攻關這個問題。正則結構是一套處理隨機偏微分方程的系統(tǒng)性工具，它讓物理學家能夠對含有無窮大量的方程進行嚴格的重整化操作，給出數(shù)學上站得住腳的解。海勒本人近期公開表示，這個框架有望為楊-米爾斯方程的嚴格數(shù)學構建提供可行路徑，盡管完整的證明尚未完成，但進展讓研究者們感到久違的興奮。

普渡大學物理學家阿杰·錢德拉直接說："這感覺令人興奮。"這句話背后，是整個領域在長期停滯之后重新感受到的那種流動感。

強核力的另一個核心謎題是夸克禁閉。在正常條件下，夸克永遠不能單獨存在，一旦你試圖把一個質子里的夸克拉出來，你投入的能量會直接在半路上憑空產生一對新的夸克，就像一根橡皮筋越拉越長，斷開的瞬間兩端各自變成新的橡皮筋，夸克從來不會真正跑出來。這個現(xiàn)象已經被加速器實驗反復證實，但從數(shù)學上嚴格證明它為何必然發(fā)生，依然是未解之謎。最新的研究方向之一是通過對偶性方法，用幾何語言重新描述夸克禁閉的本質，將其與時空拓撲結構相聯(lián)系，盡管這條路同樣還在摸索之中。

DESY和Quantinuum等機構近期也開始嘗試用量子計算機來模擬QCD過程，因為量子比特天然適合描述量子場論中的糾纏狀態(tài)，在經典計算機完全無能為力的強耦合區(qū)域，量子計算可能提供新的計算窗口。

這些進展還未能填平那道裂縫，但多條路徑同時逼近，是七十年來少有的局面。原子核不爆炸這件事，我們已經依賴了一百多億年，真正理解它為什么不爆炸的那一天，或許正在慢慢靠近。