夜，葉非躺在床上，開啟系統。
【任務：無
體能：150
智商：129
功能：融會貫通：lv0(0/100)
等級：0
積分：105】
葉非已經完成兩個任務，第一個任務獲得5積分，第二個任務獲得100積分。
但他一直都沒加點，因為體能和智商一點需要一百積分，功能一點需要十積分。
他現在獲得的積分，加一點體能或智商對他幫助可以忽略，功能又無法升級，不能升級提升等同於無。
所以他一直都將積分攢著。
“奇異基數已經證明成功，可以開始下一個任務了。”
“導師一直催促我和他合作極小塔問題。”
“現在我沒事做了，那就研究極小塔問題吧！”
極小塔問題出現於1940年，是集合論核心問題之一。
問的是兩個連續統基數不變數p與t是否在zfc下可證明是相等的。
這個問題是基數不變數理論中的歷史最悠久的公開問題。
如果證明成功將對力迫理論的發展起到巨大的推動作用。
zfc，全稱叫做zfc公理系統。
是由策梅洛和弗倫克爾提出的zf系統，在此基礎上再加上選擇公理，構成zfc公理系統。
它是第一個公理集合論系統，在集合論中有非常廣泛的應用。
力迫理論，又叫做力迫法，是公理集合論研究中構造擴充模型的一種重要方法，它是科恩在1963年證明連續統假設的獨立性而創立的。
說白了，不管是奇異基數問題，還是極小塔問題，對證明連續統假設都有很大幫助。
葉非說著建立任務。
【任務：證明極小塔問題
詳情：兩個連續統基數不變數p與t是否在zfc下可證明是相等
獎勵：100積分】
“又是100積分？看樣子難度和奇異基數是一樣的。”
從第二日開始，葉非就和魯一山一起研究極小塔問題。
葉非在充分學習魯一山教授之前的研究後，又進行了一些補充，兩人的合作，研究速度非常的快。
葉非都感慨：“單打獨鬥果然沒有兩人合作快。”
如果說之前自己一個人研究奇異基數要兩個月時間，但如果是兩人合作，會將速度提高許多。
葉非心道：“以這樣的速度，最多兩個月，就能證明出來。”
魯教授非常驚訝，這不合作不知道，一合作嚇一跳。
“這到底是導師帶學生？還是學生帶導師？”
葉非的許多想法都很新穎，要不是多年研究極小塔問題，底蘊深厚，他都差點跟不上葉非的節奏。
魯教授是痛並快樂著。
快樂的是研究速度非常快，痛苦的是他快跟不上葉非節奏了，需要補充知識。
“不行，一天不能工作十二個小時，就工作六個小時吧，還有六個小時，我要去學習。”
魯教授這是被逼沒辦法，不然他真的快跟不上葉非的節奏了。
本來是他要拉著葉非加入自己的課題，讓葉非跟著自己的節奏。
現在倒好，是自己要跟著葉非的節奏。
但節奏好像快跟不上了，他必須要將節奏放慢，每天都有時間學習，儘量跟上葉非節奏。
“以前怎麼不知道他這麼變態？”魯教授心中吐槽：“要是讓葉非知道我的能力，會不會看輕我？”
“不行，絕對不能被看出能力。”
葉非是沒有看出來魯教授的能力。