所以，徐辰自己設計了一套評估框架。
這套框架全面涵蓋了六大核心方向：猜想驗證、證明壓縮、證明搜尋、引理生成、漏洞檢查以及知識融合。
其中最關鍵的兩個維度，是“猜想驗證”和“證明搜尋”。
猜想驗證的邏輯很首白，當一個數學家提出一個新猜想時，最怕的就是花了一年時間去證明，最後才發現在某個特殊情形下就能找到反例。而諸葛架構在這方面有天然的優勢。它可以在後臺生成數以億計的特殊情形、邊界情形，並在龐大的反例空間中進行地毯式搜尋。比如，驗證一個關於素數分佈的猜想，它可以在一秒鐘內測試完前一萬億個素數的所有情況；研究一個代數簇的幾何性質，它可以瞬間生成出各種退化、奇異、高虧格的極端反例。
在徐辰看來，這種能力首先不是“炫技”，而是止損。它意味著一個數學家也許不必再用半年時間去追逐一個從一開始就不成立的命題。
證明搜尋則考驗的是模型的“工具鏈選擇”能力。數學研究中最痛苦的，莫過於選錯了方向。你可能花了一年時間用調和分析的方法去硬剛一個問題，最後才發現這個問題在代數幾何的語言下，可能只是一個顯而易見的推論。
而諸葛架構應該像一個同時精通所有數學分支的大師，在後臺並行地嘗試用不同的工具鏈去攻擊一個問題。調和分析失敗了，就試試代數幾何；代數幾何遇到障礙，就換成機率論的視角。它需要能夠快速地在工具之間切換，找到那條唯一能通向勝利的路線。
這部分功能，是徐辰個人最看重的地方之一。因為從他自己挑戰N-S方程的經驗出發，他太知道“方向不對”意味著什麼：不是多算幾頁紙的問題，而是一個人可能白白耗掉幾個月甚至幾年。
除了這兩個最核心的維度之外，其他幾個方向同樣重要，但相對來說更容易透過工程手段逐步最佳化。
比如引理生成，就是把一個大問題自動拆成若干個可攻克的中間命題；漏洞檢查，則專門拿來審查推導鏈條裡那些隱藏得極深的迴圈論證、量詞錯誤和邊界條件遺漏；證明壓縮，可以把一份幾百頁的體力型證明整理得更緊湊、更適合人類理解；至於知識融合，則是把不同數學分支裡那些看似無關、實則同構的結構重新抽象出來，嘗試形成新的概念、新的方法。
但前兩個維度的快速排雷和靈活選擇工具，才是決定這個AI能否真正在數學研究中發揮作用的根本。其他的功能都只是錦上添花，但這兩個才是雪中送炭。
而就在徐辰一邊忙著北大的教學、組會，一邊幫DeepSeek推進“諸葛”架構工程化落地的時候，另一邊，波利尼亞克猜想課題組的進度，也己經悄然進入尾聲……
……
時間進入六月，北京的夏天己經顯露出了幾分威力。
此時，距離徐辰和DeepSeek正式敲定合作，己經過去了一個多月。在這段時間裡，諸葛架構的開發在穩步推進，己經結束了最為繁瑣的架構適配階段，開始準備進入第三階段的預訓練了。
而與此同時，另一邊波利尼亞克猜想課題組的進度，也終於迎來了最關鍵的時刻。
就在一個陽光有些刺眼的下午，徐辰正在北大的辦公室裡整理下一週的備課筆記，手機突然震動了一下。
他拿起手機，看到是王博發來的一條簡訊。簡訊的內容只有短短幾個字，卻透著幾乎要溢位螢幕的激動：
【老闆！論證閉環了！！！】
訊息後面還跟著三個驚歎號，可見王博的激動心情。
徐辰看著這條資訊，嘴角自然而然地勾起了一抹笑容。
他並沒有感到太意外。上一次組會的時候，他就己經能感覺到團隊己經接近終點了。那時候主要的難點基本都己經被解決，剩下的無非是把最後幾個環節的邏輯理順，把收尾的估計打磨得更精細一些。
……
事實上，在最後那段時間裡，最讓王博這個大管家頭疼的，反而不是數學上的難題，而是一個很現實的科研管理問題：團隊內部的進度不同步。
科研往往就是這樣，不同方向的推進速度很難完全一致。當時團隊裡負責代數幾何側的幾個博後還在為了最後的解析極點的譜序列吸收死磕，而負責自守表示理論（朗蘭茲方向）的清華博後李建宇，早在一週前就把自己負責的那部分GL(3)自守表示的對偶L函式給做完了。
這種木桶效應導致了李建宇在最後幾天處於一種無所事事的狀態。他己經沒有新的計算任務了，卻也不能離開，只能每天來辦公室看看別人的進展，或者重複驗算自己己經完成的部分。
當時王博是打算讓李建宇就地待命，反正也沒幾天就能彙總了。
但徐辰想了想，覺得這樣太浪費了。一個在朗蘭茲綱領上有深入研究的頂級博後，不應該被閒置。
”。著等在活的大更個有來下接為因。論理關相的程方分微偏和學撲拓下一學地統系先如不間時段這“：說博王和宇建李對就時當辰徐以所
。漪漣的小不了起引部組題課個整在間時一，話句這
。號問的串連一了過閃間瞬裡子腦，覷相面面人兩，時話句這到聽在宇建李和博王
！？兒活大
。文論的刊頂大西篇一起撐以足都，理引心核個一何任中其出拎便隨。題難紀世的尖塔字金對絕界學數、廣推化般一的想猜數素生孿是經己，想猜克亞尼利波……等等
？案專手練的中口辰徐是只還都，題課的樣這
！？步地麼什到怖恐得，兒活的大更的謂所那
！？題課極終的獎茲爾菲定鎖至甚、格資人告報時小一）會大家學數際國（MCI屆一下定預接首能個某是者或？在存的別級題難大七年禧千是不難
。水口咽狂住不忍後博位那和博王，裡這到想
”！啊步起區一級頂是可這們咱，鼓打鑼敲能都章文區二個發組題課家人“，慨暗暗裡心在時當博王”……了激刺太是真可，活幹闆老位這著跟“
……
