周教授不得不懷疑，自己連一半都沒做好，葉非就做好了。
而且，自己是計算機學院教授，不是那些三腳貓的學生。
自己連一半都沒做好，葉非這麼快就好了？
“要不您看看？”葉非道。
“好，那我就看看。”
他還真不信葉非已經做好了，肯定做的很粗心，要是其中有錯誤，自己也能指責出來。
周教授雖然不精通集合論，但葉非是不是粗心推匯出來，他還是能看出來的。
許久後，周教授驚訝，心道：“還真不是粗心推匯出來的？”
“但怎麼會這麼快呢？”
他看著一旁的葉非，眼神閃爍。
葉非道：“周教授，可以了嗎？”
“可以了！”周教授點頭：“我那個還要有半月時間。”
說到這個，周教授就有些羞恥。
虧自己還是計算機教授，速度還沒葉非快。
“我不急！”葉非道：“您先把可計算性理論解決，之後我們再進行下一步驟。”
推匯出可計算性理論和集合論，只是圖靈等價最基礎的東西。
下面還要將可計算性理論和集合論合到一起，套用到可數波雷爾等價關係中。
從可數波雷爾中，尋找到自由群，從自由群中推匯出乘積空間，從它們之間的移位尋找到群作用，最後再套用圖靈關係，尋找到等價關係。
這一系列下來，每一步都非常難。
最基礎部分是最簡單的，葉非研究集合論這麼久，還證明了兩個關於集合論的世界難題。
解決圖靈等價最基礎部分，自然很輕鬆。
“好！”周教授道。
葉非道：“周教授，那我半個月後再來。”
說完，葉非離開實驗室，向教務處走去。
今天早上，他的極小塔問題的論文，投給數學新進展的論文透過了。
現在他是去領錢。
最終，葉非透過劉義生教授，說服導師，成為通訊作者，但論文透過後，錢他不會拿了，全部給葉非。
按照常規，論文所獲得的所有獎勵，通訊作者和第一作者一人一半。