第24章 鍾家慶數學獎
剛進到魯一山教授辦公室，魯一山就一臉笑意的招手，道：「葉非，快坐下。」
葉非奇怪，導師為什麼這麼高興？漲工資了？
等到葉非坐下後，魯一山道：「剛剛院長和我說，想將你申報給鍾家慶數學獎基金執行委員會，看看能不能讓你獲得鍾家慶數學獎。」
「鍾家慶數學獎？」葉非驚訝：「就是那個夏國三大數學獎之一？」
「是的！」魯教授點頭：「就是那個獎項。」
學術圈的人，平時搞科研，是為了獲得地位、學識和金錢。
而獎項是對自身科研最好的證明。
就好像學生拿到獎狀一樣。
沒人能拒絕獎項，多多益善！
越是重大獎項越好，夏國數學三大獎項，華羅庚數學獎、陳省身獎和鍾家慶數學獎，更是無數人垂涎。
這三大獎項中，唯獨只有鍾家慶數學獎是獎勵夏國最優秀的數學專業碩士研究生和博士研究生。
如果博士畢業三年以上，就沒機會參與評選鍾家慶數學獎。
「導師，我雖然解決了兩個世界難題，但你也知道，它們都是屬於集合論，非常冷門，對數學幫助不是很大。」
「這評上去的把握大嗎？」
葉非有些顧慮，據他所知，全球所有數學獎項獲取，都必須學者所研究成果對數學有巨大的推動作用。
而他所證明的兩大世界難題，對數學並沒有太大推動作用。
「放心吧！」魯教授笑道：「這方面學院都找人問過了，要是把握不大，學院也不會幫伱上報上去。」
「呼……」葉非長呼一口氣，心臟激動的快速跳動。
鍾家慶數學獎啊，他以前都沒想過，但現在好像可以想一想。
「你現在就安心等待吧，這個月末差不多就有結果了。」魯教授道：「當然，爭奪獎項這種事，就像猜盲盒，不到最後，誰也不知道結果。」
「你也別太掛心這獎項，就算評不上，以你的能力，遲早也會評上的。」
「畢竟，博士畢業三年內都可以評。」
「其實，大部分人都是畢業後才評上的，在讀博士很少評上。」
魯教授相信葉非的能力，即使這次評不上，三年內肯定能評上。
「嗯！」葉非點頭，但他心中還是充滿期待，希望這次能評上。
他不想多次評選，多次名落孫山後才評上。
那種緊張刺激感，非常的難受。
「對了！」魯教授道：「極小塔問題你已經解決了，你接下來想做什麼？」
葉非道：「當然還是繼續做科研。」
「你也不能一直做科研吧，適當的休息一下。」
「是要休息一下，但也不能休息太久，休息幾天就足夠了。」
「那你想好做什麼科研嗎？」
「正在思考！」葉非搖頭：「我還是做集合論的科研，但集合論至今未解決的問題有好幾個，我正在猶豫，到底做哪個？」
魯教授一臉懵逼，咋的，集合論問題塞到你腦子裡了，你說解決就能解決啊！
但想想，葉非都解決集合論兩個問題了。
解決起來也很輕鬆，沒有一個問題超過三個月的。
好像解決集合論問題對他來說非常的輕鬆。
魯教授好似感受到濃濃的凡爾賽氣息。
魯教授道：「要不你解決圖靈等價問題吧！」
「圖靈等價？」葉非道：「但我不懂計算機，要解決這個問題，需要和懂計算機的人合作。」
數學是所有自然學科的基礎，計算機也要用到大量的數學。
歷史上有一個人，叫艾倫·麥席森·圖靈，是計算機之父，人工智慧之父。
圖靈提出的圖靈機模型為現代計算機的邏輯工作方式奠定了基礎。
可以說，如果沒有圖靈，就沒有現在的計算機。
而像現在的計算機和人工智慧，都是圖靈提出來的。
圖靈等價是計算理論中圖靈機很自然的誘導出自然數集合之間的一種等價關係。
研究圖靈等價，有利於提高計算機的運算速度。
所謂的運算速度，就是比如計算機A和計算機B，A和B的硬體相同，A用了圖靈等價，B沒有用。
但A的運行速度比B快。
「這正是要我和你說的。」魯教授道：「我有一個朋友，是中湖大學計算機算力實驗室的負責人，我想讓你和他一起合作。」
「算力實驗室？」葉非道：「就是那個地方實驗室？」
所有重點大學都有許多實驗室或研究所，而它們也分等級。
其中以地方實驗室等級最低，最不受重視，國家重點實驗室等級最高，最受重視。
中湖大學有兩個國家重點實驗室，十五個地方實驗室。
一般地方實驗室，都是派一位教授進行看管，手下有五六個研究生，每年撥款一百萬左右。
並且科研項目不受重視，撥款經常不到位。
很多時候，負責人要從外面拉款，與市面上的企業合作。
但想和企業合作，從企業手上拿錢，談何容易？
「就是那個實驗室！」魯教授道：「你別看是地方實驗室，但負責人能力還是有的，他是計算機院的一位正教授，與我同級。」
「他研究了圖靈算法十幾年，有很深的研究。」
葉非笑道：「既然是導師您推薦的，自然不錯，那就讓我和這位教授見一面吧，我要和他聊聊。」
「可以！」魯教授點頭：「我現在就打電話叫他來。」
說著，拿出電話打出去。
這人其實和魯教授是朋友，葉非說進行新的科研項目，他就想到他朋友了。
葉非需要對方的計算機能力，對方需要葉非的在圖靈等價上的科研能力。
這是雙贏的局面，對雙方都有利。
很快，對方就來了。
這是一位瘦瘦高高，皮膚有點黑，戴著副眼鏡，頭髮稀疏的中年男子。
葉非看著對方的頭頂，暗暗點頭，看樣子能力確實不錯，否則頭髮也不會這麼稀疏。
計算機行業，頭髮不稀疏，都覺得對方不專業。
「老魯！」中年男子走進來，看了一眼葉非，道：「這就是你的那位學生？」
「嗯！」魯一山點頭：「葉非，我給你介紹一下，周康，計算機學院正教授。」
「你好，周教授！」葉非伸出手道。
「你好！」周教授和葉非握了下手，然後找地方坐下。
「葉非，我也聽說過你，但數學和計算機有很大的區別，你數學好，不一定計算機好。」
「當然，計算機算法上要用到很多數學問題。」
「但我話要說明白，算法畢竟是屬於計算機學科，它依賴數學，但只是少部分，大部分還是需要計算機知識。」
「所以，你與我合作，我要考察一番。」
「如果你能力不行，我也不想浪費時間，立即換人。」
葉非詫異，自己還要看對方能力呢！
這倒好，自己還沒說考察對方，對方卻要考察自己。
葉非道：「這是自然，但周教授，我也把話說明，如果您的能力不行，我也不會與您合作的。」
對方都說這麼直白了，自己也不彎彎繞繞了。
周教授盯著葉非，葉非一眨不眨的看著他。
魯教授在一邊看好戲，也不打斷他們。
周教授這人，很有能力，但就是說話太直，容易得罪人。
葉非也有能力，這兩位能人碰到一起，肯定能很好的合作。
許久，周教授點頭道：「可以，你要是沒能力，我就讓你走人，我要是沒能力，你可以立馬換人，我絕不糾纏。」
「好！」葉非點頭。
說著，在系統中建立任務。
【任務：圖靈等價問題
詳細：在可計算性理論中尋求突破
獎勵：100積分】
「又是100積分？」
(本章完)