4000萬人民幣么？

好像挺多的，但寧為并沒有什么感覺。

不對，并沒有這么多，扣完稅大概只剩兩千多萬了，其實也不算很多。

飄了……

其實寧為的心神卻沒完全放在錢的問題上，考慮著eda項目終于找到歸宿，他想起了這個項目剛立項時跟余興偉一起立下的宏愿，等到他們證明這款eda軟件有現實意義了，再把那位韓教授請回來，讓他碼代碼到禿頭。

現在他馬上要離開項目組了，再不提這個要求，大概沒機會了。

一念至此，寧為便開口說道：“錢的事您看著辦就行，到是我之前挑中的那位韓教授，不知道現在還能讓他再回到咱們項目組嗎？”

“老韓？哦，到不是能不能的問題，主要是他現在自己申請了一個項目，正在忙著，估計沒有時間來這邊。”陸昌斌答道。

“哦？韓教授申請了個什么項目？能說來聽聽嗎？”寧為挺好奇的問道。

雖然當時這位韓教授挺不給他面子，但寧為卻對這位教授觀感其實還不錯，也的確挺好奇這位教授選了個什么項目。

“你對老韓的項目感興趣？你等等啊，我找一下他的開題報告。”說完，陸昌斌站起身，來到身后的文件柜，開始尋找。

很快韓教授的開題報告被陸昌斌找了出來，遞給了寧為。

寧為很仔細的看了一遍，果然很務實。

韓教授的開題是一個關于縮短隨機行走算法時間的課題，跟人工智能的方向也有聯系，比如這類算法就涉及到機器學習模型中的采樣速度問題。

但很有意思的是，這個命題恰好跟一個困擾了數學界多年的一個幾何問題重疊。

這個幾何問題用日常語言簡單描述就是如果有一個西瓜，用什么方法能把它平均一分為二，且還能讓它更長時間的保持新鮮度？

要讓果肉盡可能長時間新鮮，起意思就是要讓果肉暴露在空氣中的面積最小，也就是這一刀下去，要讓切片的面積最小，這當然是可以實現的。

但這又可以引申出一個更高級的問題，那就是三維的這一結果在高維空間是否也能成立。

用具體的數學語言描述就是，一個任意維度的凸體，如果用低一維的平面去平分，那么是否存在一個常數c，讓凸體至少存在一個切面的面積大于c。

這就是在普通人群中并不算太著名但卻極具實用價值的kls猜想問題。

生活中的三維空間這個命題其實很好理解。

因為無論西瓜長成什么樣，總不可能在每個角度都長得如同細條。如果是長形的西瓜，豎直一刀切下去，切面就會較小，當然也可以用水平角度來切開它，這樣切面就會大上許多。

可如果放到更高維度，就不是這么簡單了。

但大家都很清楚，數學家天生就不是能讓人省心的主，對于一個問題，他們總能從各種奇怪的角度來解讀。于是數學界又提出了一個命題，為什么切開的西瓜要是平面？

能不能找到用來平分這個西瓜的最小曲面面積是多少？

這就是kls猜想最為關注的問題。

隨著數學家進一步抽象，kls猜想可以理解為這個西瓜在高維空間中的形狀就是一個封裝著氣體的容器，找到最佳切面就是尋找到這個容器的瓶頸。想象一個，如果西瓜變成一個啞鈴形狀的容器，里面有一個氣體分子在其中隨機運動，那么啞鈴中間連接部分越細，分子就越難跑到另一側。

所以現在韓教授真正要解決的問題就是，找出在高維空間中這個凸的容器最細的地方到底能有多細。

說的更簡單更粗暴就是要證明是否存在這么一個常數c，在任意維度這個常數c都是固定數值，如果有那么就說明這個西瓜在高維空間不可能像一個