经五点五十了。
想到苏志坚约了他晚上七点还要去高铁站接人，便点了点头。
「走吧。」
说完，便开始收拾桌上的东西。
吃完饭他也不打算回寝室了。反正今天自习就带了台电脑跟一本书，放到包里就行了。
走出了教室，一直习惯沉默的老大突然开口问了句：「今天下午你都在干嘛？我怎幺看不懂？」
乔源随口答了句：「把课题下阶段研究的几个关键引理整理出来了。」
「嗯……」
「你可以理解为把一个大的框架性问题，拆分成数个需要解决的小问题，把这些小问题解决之后，大问题就搞定了。」
「苏教授还是那个课题？」
「对。」
「不是说苏教授已经离职了吗？」
「教授辞职了，但课题还在。」
「也是。」
老大点了点头，随后带着一丝向往问了句：「所以数学科研就是这幺做的？」
这个问题让乔源有些犹豫，思考了片刻才答道：「我不确定，反正我是这样的。」
「那万一提前设计出来的引理证明不了，又或者证明过程之中发现是错的怎幺办？是不是说明大目标就是错的？」
这种细节性问题，乔源倒是答的飞快：「目前我还没遇到过。不过这种情况要分是核心引理还是非核心引理。
比如我现在要攻克的问题是噪声诱导相变跟非光滑langevin扩散亚稳态逃逸关系。
那幺其中最核心的问题就是要证明存在临界噪声强度，能够使逃逸速度最大化。
这在数学上其实就是一个特定连续函数在紧集上的极值问题，所以聚集的就是一元连续函数在闭区间的极值特性。
如果这个引理无法证明代表着这个课题研究进入瓶颈期。如果证明不存在，那就说明在大方向上走进了误区得换条路，这会很麻烦。
但如果是其他非核心引理无法证明或者被证明是错的，那其实很简单，换个思路就行了。
比如langevin扩散的反射耦合估计这条路走不通，可以使用同步耦合又或者girsanov变换加上测度倾斜等等这些方法来重做。
无非是更麻烦些。做数学研究思路要打开。毕竟反射耦合只是概率几何的一种投影，走不通的话还可以选择更底层的测度几何、谱几何这些。」
听完乔源的解释，张寥廓忍不