證明完畢。
確認無誤後，李青將其謄寫到空白的 A4 紙上。
但理論證明不能代替數值檢驗，於是李青在另一張 A4 紙上附上數值檢驗要求。
首先就是樣本選取，要選光滑偶數，就是這個偶數分解出來的所有素因數，都不能超過我們提前定好的那個界限。
數字大小要有拉開差距，小的大的都選一些，只要裡面有很大的素因子，就不要這個數。
第二，記真實素數對，拿到每一個挑好的偶數，找出所有兩個素數加起來等於它的組合，記下一共有多少組。
這個真實數量，用來和公式算出來的結果對比。
第三，試權重，嚴格按照草稿裡的辦法算權重，權重要看這個偶數素因子有哪些、出現幾次，還有素因子的間距。
可以換幾套權重引數多算幾遍，看看結果會不會突然跑偏。
第四，對比理論估算值，用主項公式算出理論上的預估數量，和實際數出來的素數對數量對比，記下兩者差多少。
重點看偶數越來越大的時候，差值漲得有沒有比主項慢，不能讓誤差大過主項。
第五，看下界，看公式算出來的數值是不是一直大於零，如果哪個樣本算出來變成負數，馬上標記出來，回頭檢查推導或者權重設定。
……
最後，驗算，看邊界位置會不會出現異常或崩潰情況，有的話及時調整。
隨後李青將這些東西整理成檔案發到了群裡，各自任務也清晰落實。
貝克爾要找出李青這套證明可能出現的反例做佐證，託比斯和貝斯特負責找文獻和整理。
埃萊娜除之前佈置的任務外，她作為數值核驗的高手，大部分數值核驗工作都將由她承擔，其餘人則在某些領域做一些輔助。
群裡人相繼接收檔案，埃萊娜率先回復：“收到，李教授效率真高！”
舒爾茨教授緊隨其後回覆：“各位都看一下自己適合做哪部分，數值檢驗比較繁瑣，不能只靠埃萊娜一個人。”
貝克爾：“我的任務比較少，我可以幫忙。”
託比斯：“我也可以。”
貝斯特：“我可以幫忙找樣本資料，埃萊娜，等我找好發給你。”
埃萊娜：“好的，謝謝大家！”
李青：“各位辛苦了！數值檢驗工作確實比較重，不過大家不用著急，慢慢來，有什麼問題隨時溝通！”
……
李青同樣有自己的工作，他不僅要盯全域性，把控專案整體進度，還要細化證明內容，將有可疑或不嚴謹之處標註出來，確保證明打磨得足夠嚴密無漏洞。
同時也要關注閾值選取和誤差估計，因為這兩個地方很容易出現問題。
不過有舒爾茨教授坐鎮把關，李青其實是輕鬆了很多。
……
。時爛絢間人是正，新迎萬，地大發春，去過間時月個兩，間眼轉
。聲尾至已，進推續持經究研的分部一第
。究研的段階二第啟開將時不，作工理整尾收下剩只務任要主今如，利順切一度進在好，間時的分部大了費耗驗檢值數
。線上發刊實證月本在於終也，明證整完想猜數素生孿的唸念心心界學數，時同此與
。所有心是還，生發般一中待期如的真景場一這今如但，果結種這料預有早人不然雖
。獎茲爾菲的年今是就點的繞圍要主論討而，來起鬧熱次再論討的青李關有，間時一
