等都說的差不多了，李青總結道：“各位將自己的思路和想法全都彙總給學術辦公室，等待出具檔案後開始實施，如果後續出現什麼問題，再一同協商解決，就這樣吧！”
說完後，他與眾人一同來到學術辦公室，讓秘書彙總他們的意見，做成計劃書。
最後分工配合，根據計劃書落實具體行動。
李青在一旁全程把關。
這個效果是立竿見影的。
一些難題的證明逐漸簡略，算力也不用耗費太多便能順著流程走下來。
最後幾天，李青不再全程在一旁守著，繼續做自己的事情，只是偶爾來看看進展。
又過了幾周，【元】已經能完整地證明世紀難題，那一刻，所有成員都激動莫名。
李青也在現場，不過他倒沒有那麼激動，【元】能證明出這些東西，自然是一個很大的進步。
但證明是否正確，尚需檢驗。
當所有證明步驟打印出來，落到李青手中時，他一邊翻看一邊思索，眉頭越來越皺緊。
翻到大概後半段時，他停頓片刻，隨後直接將資料翻到最後一頁答案處，又看了最後一段證明。
他緩緩將這摞證明資料丟到桌子上，並對大家說：“這個證明有問題，階段證明準確，但全程不閉環，你們自己也看看。”
幾人聞言，眉間笑意瞬間平復，心緒猛地一沉，哪怕沒有翻看，他們也知道，真的出問題了，李青的判斷幾乎沒有錯過。
但他們還是認真翻看、探討了一下，結果和李青的判斷一模一樣，他們也看出了問題所在。
一時間室內有些沉靜。
“所以這個問題出現在哪裡？又該怎麼解決呢？”貝斯特開口道。
李青解釋道：“大家看這個證明時，能看出證明在哪個環節出錯了嗎？”
“後段！”皮克朗當即回道。
“對，中後段出現了問題，所以很明顯出現錯誤的環節我們找到了。”
李青耐心地講述道。
“【元】證明問題有一個很大的毛病，就是目光短淺，它沒有全域性視野，只要求步步正確，卻沒有全程把控。前一萬步是正確的，但最後一步卻能導致邏輯崩塌。”
“怎麼解決？”埃萊娜插了一句。
“很簡單，改變元的底層邏輯，讓它證明第一段後強制回溯檢查，證明第二段後，連到第一段一起再回溯檢查；以此類推，以保證檢查全域性一無疏漏。”
李青沒有停歇，不斷對這個思路進行完善。
“我們還要讓【元】進行反向倒推，交叉驗證。”
