第(2/3)页

    压根就没考虑过这个邀约代表的其他问题。比如去接谁，为什么要他一起去接……

    反正这些事情到了晚上自然就知道了。

    保持专注的时候时间总是过得飞快。

    乔源刚在电脑上把几个关键的引理整理出来，旁边的老大便开口问了句：“快六点了，去不去吃饭？”

    乔源看了眼时间，果然已经五点五十了。

    想到苏志坚约了他晚上七点还要去高铁站接人，便点了点头。

    “走吧。”

    说完，便开始收拾桌上的东西。

    吃完饭他也不打算回寝室了。反正今天自习就带了台电脑跟一本书，放到包里就行了。

    走出了教室，一直习惯沉默的老大突然开口问了句：“今天下午你都在干嘛？我怎么看不懂？”

    乔源随口答了句：“把课题下阶段研究的几个关键引理整理出来了。”

    “嗯……”

    “你可以理解为把一个大的框架性问题，拆分成数个需要解决的小问题，把这些小问题解决之后，大问题就搞定了。”

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

    “对。”

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

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

    “也是。”

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

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

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

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

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

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

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

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

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