4000万人民币么？
好像挺多的，但宁为并没有什么感觉。
不对，并没有这么多，扣完税大概只剩两千多万了，其实也不算很多。
飘了……
其实宁为的心神却没完全放在钱的问题上，考虑着EDA项目终于找到归宿，他想起了这个项目刚立项时跟余兴伟一起立下的宏愿，等到他们证明这款EDA软件有现实意义了，再把那位韩教授请回来，让他码代码到秃头。
现在他马上要离开项目组了，再不提这个要求，大概没机会了。
一念至此，宁为便开口说道：“钱的事您看着办就行，到是我之前挑中的那位韩教授，不知道现在还能让他再回到咱们项目组吗？”
“老韩？哦，到不是能不能的问题，主要是他现在自己申请了一个项目，正在忙着，估计没有时间来这边。”陆昌斌答道。
“哦？韩教授申请了个什么项目？能说来听听吗？”宁为挺好奇的问道。
虽然当时这位韩教授挺不给他面子，但宁为却对这位教授观感其实还不错，也的确挺好奇这位教授选了个什么项目。
“你对老韩的项目感兴趣？你等等啊，我找一下他的开题报告。”说完，陆昌斌站起身，来到身后的文件柜，开始寻找。
很快韩教授的开题报告被陆昌斌找了出来，递给了宁为。
宁为很仔细的看了一遍，果然很务实。
韩教授的开题是一个关于缩短随机行走算法时间的课题，跟人工智能的方向也有联系，比如这类算法就涉及到机器学习模型中的采样速度问题。
但很有意思的是，这个命题恰好跟一个困扰了数学界多年的一个几何问题重叠。
这个几何问题用日常语言简单描述就是如果有一个西瓜，用什么方法能把它平均一分为二，且还能让它更长时间的保持新鲜度？
要让果肉尽可能长时间新鲜，起意思就是要让果肉暴露在空气中的面积最小，也就是这一刀下去，要让切片的面积最小，这当然是可以实现的。
但这又可以引申出一个更高级的问题，那就是三维的这一结果在高维空间是否也能成立。
用具体的数学语言描述就是，一个任意维度的凸体，如果用低一维的平面去平分，那么是否存在一个常数c，让凸体至少存在一个切面的面积大于c。
这就是在普通人群中并不算太著名但却极具实用价值的KLS猜想问题。
生活中的三维空间这个命题其实很好理解。
因为无论西瓜长成什么样，总不可能在每个角度都长得如同细条。如果是长形的西瓜，竖直一刀切下去，切面就会较小，当然也可以用水平角度来切开它，这样切面就会大上许多。
可如果放到更高维度，就不是这么简单了。
但大家都很清楚，数学家天生就不是能让人省心的主，对于一个问题，他们总能从各种奇怪的角度来解读。于是数学界又提出了一个命题，为什么切开的西瓜要是平面？
能不能找到用来平分这个西瓜的最小曲面面积是多少？