第23章 证明出极小塔問題
“回来了！”看到叶非进来，鲁一山笑道。
“导师！”叶非坐下后道：“我已经将p=t证明出来了，這事您知道嗎？”
鲁一山表情一滞，我知道嗎？我当然知道。
因为你，我沒了奋斗目标。
鲁一山点头道：“我知道。”
“我這几天到复旦大学数学学院讲座，后来进入他们的小图书馆，看到很多不对外公布的文献，其中就有集合论知识，這让我找到极小塔問題剩下的证明思路。”
鲁一山惊讶的看着叶非，道：“你就這几天就找到ZFC下p=t的思路了？”
“是啊！”叶非点头，笑道：“但我還沒驗證，如果驗證成功的话，咱们的极小塔問題就证明出来了。”
鲁一山心中叹息，从研究开始，不到两月，你就解决了极小塔問題。
那我這么多年的研究算什么？
鲁一山颇感来自天才的浓浓恶意。
鲁一山道：“你准备什么时候写论文？”
“马上就写，我来就是和导师說一声的。”
鲁一山心中吐槽，是来打击我的嗎！
鲁一山点了点头。
离开导师办公室后，叶非就开始验算他所思考的在ZFC下p=t。
三天后，图书馆！
叶非惊喜的道：“我的想法果然是对的。”
“下面开始写论文吧！”
此时，叶非不知道的是，全球很多人听了他对p=t的证明讲解后，都知道p=t的证明思路。
而极小塔問題中，最难的就是p=t。
ZFC下的p=t反而并不是太难。
毕竟，p=t都证明出来了，剩下的就是将p=t转换一下，套到ZFC下。
面对世界难题的诱惑，很多人都想第一個证明出极小塔問題。
也许，這是他们這辈子，唯一一次能证明出世界难题的机会。
必须要赶在叶非之前证明出极小塔問題，否则他们就沒机会了。
他们這么做，有点厚脸皮的意思。
毕竟最难的都被叶非解决了，他们只要再证明出简单的部分，就能证明出极小塔問題。
然后完成论文，发表到Arxiv，他们就能成为证明极小塔問題的作者。
当然，事后肯定有人指责他们厚脸皮。
但面对世界难题诱惑和数学界出名的诱惑，厚脸皮就厚脸皮吧！
京都大学，图书馆！
罗洛是数学系在读硕士研究生，今天周末，他上午九点左右才来图书馆。
但图书馆人满为患，過许久才找到一個位置坐下。
坐下后他就打开Arxiv查看，這是数学专业学生经常逛的網站。
突然，他瞪大眼睛惊呼道：“叶非证明出极小塔問題了。”
声音很大，很多人都听到。
许多人被打扰学习，烦躁的看他一眼。
但罗洛好似沒察觉，他激动的点开叶非新发表的论文。
“這也太快了吧，才半個月啊！”
“不愧是叶非，這么短時間就证明出ZFC下的p=t。”
图书馆中很多人都听到罗洛的话，一些知道叶非的人都上網查看。
很快，他们也发现叶非新发表的论文。
英格兰，剑桥大学！
“叶非竟然已经证明出极小塔問題了。”库玛斯看着叶非新发表的论文，再看看這几日自己的努力，心中很痛。
自从看到叶非讲解p=t后，他就在努力的证明ZFC下p=t。
想在叶非之前证明出来，但现在他的证明還沒到一半，叶非已经证明出来了。
“他怎么会這么快？”
北丽国，普林斯顿！
“這么快就证明出来了。”佩裡绝望的道：“沒机会了，叶非的证明肯定是对的，毕竟他都已经证明出极小塔問題中最难的部分，容易的部分对他来說也应该沒难度。”
“哎……”佩裡看着桌子上自己连日来的努力，他一把将桌子上所有的稿纸推到地上，散落满地。
东瀛国，东京大学！
“巴嘎……”吉川太郎愤怒的看着电脑屏幕：“为什么，我已经這么拼命了，還是沒赶上，你为什么這么快？”
“我真是太慢了，這么好的机会就這样沒了。”他自责的握紧拳头。
当叶非证明极小塔問題的论文发表到Arxiv上。
很多正在研究ZFC下p=t問題的人，都满脸绝望。
沒人会认为叶非的证明是错的。
毕竟，最难的部分都被叶非解决，容易的部分对叶非来說也应该沒难度。
這一日，全球无数人都被叶非的才华所打败。
当然，也有很多人被叶非的才华所震撼，惊喜，特别是夏国人。
毕竟，叶非是夏国人，叶非的成就让他们与有荣焉。
此时，StackExchange上集合论板块！
很多帖子都是關於叶非证明出极小塔問題。
“算算時間，叶非一共用了两個月证明出极小塔問題。”
“不能這样算，這两個月他并不是全部做研究，听說在這期间，他還去夏国魔都复旦大学进行演讲，并在复旦大学逗留了三天。”
“不管怎么說，叶非的科研速度也太快了，我从未见過這么快的男人。”
“什么這么快的男人，女人也沒這么快啊！”
“你们說话能别搞擦边球嗎，請别开车，我們现在說的是科研。”
“他的速度比研究奇异基数时快多了，他研究奇异基数应该花了四個月時間，现在研究极小塔問題，只花了奇异基数一半的時間。”
“我从未见過這样的人，奇异基数和极小塔是同样难度的問題，他研究反而越来越快了。”
“……”
傍晚，叶非在操场散步，同时思考接下来的研究。
他一共要写两篇论文，一篇是p=t，另一片是ZFC下p=t。
他只发表了一篇，是ZFC下p=t。
另一篇，他会在半個月内写好。
之所以先发表ZFC下p=t，是因为他之前将p=t的证明過程挂在Arxiv，他怕有人先他一步证明出极小塔問題。
所以才先发表ZFC下p=t。
当然，现在写的ZFC下p=t，只是初稿挂在Arxiv上，還要花几天時間，对论文多次修改，之后再发给期刊。
“既然選擇集合论，那么我下面的研究還是应该继续集合论。”
“拓扑奥特猜想？超紧基数典型内模型問題？高层有限波雷尔等价关系中的两個問題？连续统势确定問題？图灵等价問題？還是带指数函数的实数理论的可判定性問題？”
這几個問題，是集合论中除了连续统假设外，剩下的所有問題。
叶非之后的研究，還是从這几個問題出发。
至于连续统假设問題，是最难的终极問題。
最起码這几個問題沒解决，他不会对连续统假设下手。
這时，叶非的手机响起！
“喂，导师！”
“叶非，伱来我办公室，告诉你一個好消息。”
“好的！”
：https://www.zibq.cc。：https://m.zibq.cc