通知下發的次日，下階段的研發便正式開始。
這一研發目標是世紀難題，和中小猜想研發路徑基本相同，理論上並不難，只要持續擴大資料庫，讓【元】有極高的算力，這些世紀難題依然能夠暴力破解出來。
為了加快資料庫獲取，清溯研究所與多所數學機構和高校達成了合作，實現部分資料庫共享。
在所有成員都投入研發時，李青自己除了把控研發方向外，還不停地編譯數學邏輯方法，以增強【元】的運維。
對李青來說，【元】如同他的一個外接大腦，亦或者說是一個得力的幫手。
在研發方面，他希望元的能力，應當說就是元的現有算力和嚴謹效能超過自己，這樣，在自己源源不斷提供思路和靈感時，他都能夠順著這條路進行下去，可以節省大量試錯的時間。
研發一直很順利，但到訓練實踐時，卻出了一個很大的問題。
當李青與葉鐸兩人匆匆來到訓練實驗室時，一群研究員紛紛讓開了路，李青來到計算機面前站定。
皮克朗主動開口道：“首席，現在我們面臨的問題在於：當讓元證明世紀難題時，它根本進行不下去。”
“以往證明中小猜想，比如那些結構清晰的猜想，它能用一條線順著串起來。但現在這些大猜想，哪怕是幾萬條分支，演算思路都難以推進下去。它幾乎涵蓋了所有中小猜想的難點，甚至有所超過。”
聞言，李青點了點頭，略微思考。
對於這種情況，並不在他的意料之外，那些中小猜想證明如果是臉盆裡撈針的話，那麼這些世紀猜想就是大海撈針，不在同一個階層。
想用常規的推進方式進行下去，怕是不太可能。
不過到底從哪方面入手，他還需要觀察一下。
“皮克朗教授，你再輸入一個猜想試試，我看看是什麼情況。”
皮克朗點了點頭，開始上前操作起來。
輸入完畢後，他站到一側，而李青就站在螢幕面前靜靜檢視。
只見螢幕裡的各種證明流程刷刷地滾動，一刻也不停歇，各種字母、符號、編碼，快得讓人眼花繚亂。
1秒、10秒、1分鐘、3分鐘……，還在不停地滾動，毫無停歇的跡象。
不過李青已經差不多看明白了，隨手關閉了它的執行，轉身對著所有成員說道：
“問題我基本上明白了，像這種世紀難題，它涵蓋的範圍太廣，讓AI一條一條思路試下去，不知道要試到什麼時候，而且也極大地耗費算力，這一點必須先改變。”
眾人紛紛點頭。
李青繼而道：“至於如何解決，我也想到了一些辦法，大家群策群力一下，看看是否可行。”
“首先，我們要建立有效區間，即，將最有可能的證明路徑包含進來，至於其他路徑，要剔除並嚴格限制。如果有效區間內仍證明不出來，我們可以擴大區間，逐漸加進原來被去除掉的思路，就這樣一步一步擴大，也能減少一些損耗。你們覺得如何？”
“這個思路可行，而且我們也要加上防延伸機制，【元】的邏輯延展性很強，可能會關聯到其他地方，我們也要限制。”葉鐸補充道。
皮克朗也接話：“還要防範重複路徑，已用過的思路，結果保留，可以在其上繼續推演，但不能再次從零開始推導。”
這一刻，大家紛紛開始說出自己的想法和解決思考，有人提出問題，有人做出解答，慢慢地，智慧開始凝聚，解決方案逐漸成型。
