第415章 老師！
格羅莫夫教授的思路是這樣的。
把那十一萬條恆等式，重新看成一套改寫規則：每一種變換都是把一個式子改寫成另一個式子的一步。
這樣問題就變成了這套規則會不會自相矛盾？
而一套規則自不自洽，不必把所有的推演路徑都跑一遍。
只需要盯住那些“兩條規則能在同一處同時下手”的臨界對，看看從這個節點出發兩條路各自改下去，最後會不會殊途同歸。
如果每一個臨界對都能合到一處，再加上一個保證，這套改寫過程不會無限地繞下去，它總會停。
那麼，用一條上世紀四十年代就立下的經典引理做擔保：整套規則，全域性自洽。
換句話說，那十一萬條裡，絕大多數都只是少數幾個臨界對的下游回聲。
真正要親手驗的，只剩那一小撮臨界對，外加一個“過程必然終止”的證明。
這個思路，數學上叫合流。
從紐曼到高德納，幾代人把它磨成了利器。
數學家用來證明範疇論裡那些“所有圖表都對得上”的一致性定理，靠的就是它。
一座要爬十年的山，因為這個工具，幾個月就能爬上去。
“說穿了，”格羅莫夫攤了攤手，“就是別跟蠻力死磕，去找結構。”
聽完這番話莎拉和彭羅斯的眼睛都亮了。
他們之前，確實沒往這個角度想過。
果然，還得是幾何群論的祖師爺。
可李東卻皺起了眉。
格羅莫夫看他這樣，問道：“李東教授，你有不同的看法？”
李東搖了搖頭。
“格羅莫夫教授，您這法子很好，我一時也想不出更好的。”
“不過……它把十一萬條恆等式壓到了那一小撮臨界對，是把九成九的活兒都砍掉了，可剩下那部分，其實還有兩個問題。”
“那些臨界對得有人一個不漏地找全，漏掉一個，整個結論就塌了。”
“還有就是，就算找全了，每一條還是得人來硬算，錯一條依舊全廢。”
“等都算完了，您又拿什麼去向全世界證明，這上百條恆等式您一個符號都沒錯？”
“一個憋了六十年的猜想，要靠它來判生死，光憑一句我們核過了，沒錯，是不能服眾的。”
格羅莫夫靜靜聽完，點了點頭。
”。走麼這先能只也們咱，前之來出伙傢的手趁更在可“，道然坦人老”。題問個是實確，嗯“
。去下了黯又的中眼的拉莎
。型模大個那他了起想卻裡心是但，話接再沒東李
。項強的機是就本，活力的差誤零種這
。理推號符的確步一步一是，的來出湊合擬靠是不型模個那他，是的要更
。有沒就生天它，病老的說胡就口張、學數了不做型模大幫那面外
。聲吭有沒並他以所，場在又夫莫羅格，地落沒還型模大竟畢在現過不，法辦決解的好最是才型模大個這以所
。場圓了起打，聲一了咳輕斯羅彭的旁一，人兩的默沉及以，的淡黯底眼拉莎著看
”。的走前往坑泥著踩是就來本步進的學科，了行“
”。來出架框個捋先們我，兒活的下剩，了開撥霧迷的九九把們我幫經已授教夫莫羅格至“
。軌正了回拉行強被題話
。幾了過回來，全列地不重不麼怎對界臨、證麼怎止終把，子法的流合套那著圍又人個幾，來下接
。了辭告起便夫莫羅格，完論討
。木水了去轉，留多大燕在沒他
。舊敘敘去要總，城京趟一來得難，友朋老的年多是生先丘和他
。做著接們生學給會然自去回他，法辦套那的定剛於至
。思心的子弟門關做拉莎收著存還半多，趟一飛自親齡高的歲多十八以肯趟這他，底到說
。由理的著賴再了沒也然自，輩長個一他，死麼那得說話把家人今如
……
。來起了勸又，拉莎著看才斯羅彭，了走夫莫羅格等
