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