這個構造的真正天才之處在於，它把“哥德巴赫猜想是否成立“這個問題，從一個需要“艱難估計“的解析問題，變成了一個需要“優雅判定“的譜論問題。
在傳統的方法裡，數學家試圖證明r(N)的漸進公式，需要控制一大堆誤差項，每一項都像一頭隨時可能掀桌子的野獸。
但徐辰的思路完全不同。
他的框架說：你根本不需要去估計r(N)的大小，你只需要證明Tr(Φ_N)不等於零！
而Tr(Φ_N)不等於零，等價於譜側那個求和不等於零。
而譜側的求和，是關於自守表示的特徵值的——這是一個純粹的代數結構，完全脫離了解析估計的泥潭！
……
拉福格在聽到這裡的時候，整個人陷入了長達大約三十秒的完全靜默。
徐辰沒有催他，只是把筆放在了白板托盤上，安靜地等待著。
“所以……“拉福格終於開口，聲音有些乾澀，“你實際上是在說……”
“哥德巴赫猜想的本質，“徐辰語氣十分平靜，“不是一個關於素數分佈的解析問題，而是一個關於GL(2)自守表示空間上卷積運算元正定性的代數問題。”
“證明哥猜，等價於證明Φ_N這個運算元在自守譜上的總貢獻嚴格為正。”
拉福格緩緩抬起頭，看著徐辰。
眼神里，有一種複雜的東西在湧動。
那是一個在某個領域耕耘了三十年的人，第一次從完全陌生的角度，看到了那扇困住他三十年的門背後，其實是另一個世界的感覺。
……
“但是，“拉福格強迫自己保持冷靜，用嚴謹的學術首覺發問，“這個運算元的正定性，如何證明？如果譜側有某個自守表示的特徵值是負的……”
“好問題。這正是整個證明最核心、也是唯一真正困難的地方。”
徐辰拿起筆，在譜側的求和式旁邊，寫下了兩個字：
“ε因子”
“在每個區域性素數p處，π(Φ_N)的值，完全由對應的區域性自守表示π_p對測試運算元Φ_N，p的作用決定。而Φ_N，p的構造方式，確保了這個區域性值永遠是非負實數。”
徐辰在每一個區域性分量旁邊，畫了一個小箭頭，指向“≥ 0“。
“每個區域性分量都≥0。”
“而全域性的乘積……”
徐辰的筆在這裡停了一下。
這是整個證明最優雅、也是最出人意料的核心跳躍。
“全域性的乘積，由尤拉乘積公式連線——”
徐辰寫下：
)}p，N{_Φ(p_πp_∏=)N_Φ(π
”。零於大格嚴也積乘拉尤的們它以所，零於大格嚴都子因域區個一每為因“
”。正為格嚴都項一每的側譜此因“
”。正為格嚴)N_Φ(rT此因“
”。零於大格嚴)N(r此因“
”。立想猜赫德哥此因“
……
。前面人兩在擺麼這就條鏈的明證個整，上板白
。制力暴種那“法篩大“有沒，代迭的苦痛西十有沒，計估項差誤的麻麻有沒它
。N_Φ——造構心核個一有只，尾到頭從
。的渠到水是乎幾，論推的下剩，來出造地確正被核積卷試測個這旦一
