“苏教授还是那个课题？”

“对。”

“不是说苏教授已经离职了吗？”

“教授辞职了，但课题还在。”

“也是。”

老大点了点头，随后带着一丝向往问了句：“所以数学科研就是这么做的？”

这个问题让乔源有些犹豫，思考了片刻才答道：“我不确定，反正我是这样的。”

“那万一提前设计出来的引理证明不了，又或者证明过程之中发现是错的怎么办？是不是说明大目标就是错的？”

这种细节性问题，乔源倒是答的飞快：“目前我还没遇到过。不过这种情况要分是核心引理还是非核心引理。

比如我现在要攻克的问题是噪声诱导相变跟非光滑Langevin扩散亚稳态逃逸关系。

那么其中最核心的问题就是要证明存在临界噪声强度，能够使逃逸速度最大化。

这在数学上其实就是一个特定连续函数在紧集上的极值问题，所以聚集的就是一元连续函数在闭区间的极值特性。

如果这个引理无法证明代表着这个课题研究进入瓶颈期。如果证明不存在，那就说明在大方向上走进了误区得换条路，这会很麻烦。

但如果是其他非核心引理无法证明或者被证明是错的，那其实很简单，换个思路就行了。

比如Langevin扩散的反射耦合估计这条路走不通，可以使用同步耦合又或者Girsanov变换加上测度倾斜等等这些方法来重做。

无非是更麻烦些。做数学研究思路要打开。毕竟反射耦合只是概率几何的一种投影，走不通的话还可以选择更底层的测度几何、谱几何这些。”

听完乔源的解释，张寥廓忍不住在心底叹了口气。

本来还想正经打听点以后上了研究生如何做课题研究的秘籍，结果发现乔源说的他压根听不太懂。

偏偏他是了解乔源的，能看出自己这个室友是真心想给他传授些经验，这就更心塞了。

“晚上还是回来自习？”