4000萬人民幣么？
好像挺多的，但寧為并沒有什么感覺。
不對，并沒有這么多，扣完稅大概只剩兩千多萬了，其實也不算很多。
飄了……
其實寧為的心神卻沒完全放在錢的問題上，考慮著EDA項目終于找到歸宿，他想起了這個項目剛立項時跟余興偉一起立下的宏愿，等到他們證明這款EDA軟件有現實意義了，再把那位韓教授請回來，讓他碼代碼到禿頭。
現在他馬上要離開項目組了，再不提這個要求，大概沒機會了。
一念至此，寧為便開口說道：“錢的事您看著辦就行，到是我之前挑中的那位韓教授，不知道現在還能讓他再回到咱們項目組嗎？”
“老韓？哦，到不是能不能的問題，主要是他現在自己申請了一個項目，正在忙著，估計沒有時間來這邊。”陸昌斌答道。
“哦？韓教授申請了個什么項目？能說來聽聽嗎？”寧為挺好奇的問道。
雖然當時這位韓教授挺不給他面子，但寧為卻對這位教授觀感其實還不錯，也的確挺好奇這位教授選了個什么項目。
“你對老韓的項目感興趣？你等等啊，我找一下他的開題報告。”說完，陸昌斌站起身，來到身后的文件柜，開始尋找。
很快韓教授的開題報告被陸昌斌找了出來，遞給了寧為。
寧為很仔細的看了一遍，果然很務實。
韓教授的開題是一個關于縮短隨機行走算法時間的課題，跟人工智能的方向也有聯系，比如這類算法就涉及到機器學習模型中的采樣速度問題。
但很有意思的是，這個命題恰好跟一個困擾了數學界多年的一個幾何問題重疊。
這個幾何問題用日常語言簡單描述就是如果有一個西瓜，用什么方法能把它平均一分為二，且還能讓它更長時間的保持新鮮度？
要讓果肉盡可能長時間新鮮，起意思就是要讓果肉暴露在空氣中的面積最小，也就是這一刀下去，要讓切片的面積最小，這當然是可以實現的。
但這又可以引申出一個更高級的問題，那就是三維的這一結果在高維空間是否也能成立。
用具體的數學語言描述就是，一個任意維度的凸體，如果用低一維的平面去平分，那么是否存在一個常數c，讓凸體至少存在一個切面的面積大于c。
這就是在普通人群中并不算太著名但卻極具實用價值的KLS猜想問題。
生活中的三維空間這個命題其實很好理解。
因為無論西瓜長成什么樣，總不可能在每個角度都長得如同細條。如果是長形的西瓜，豎直一刀切下去，切面就會較小，當然也可以用水平角度來切開它，這樣切面就會大上許多。
可如果放到更高維度，就不是這么簡單了。
但大家都很清楚，數學家天生就不是能讓人省心的主，對于一個問題，他們總能從各種奇怪的角度來解讀。于是數學界又提出了一個命題，為什么切開的西瓜要是平面？
能不能找到用來平分這個西瓜的最小曲面面積是多少？