简单干脆，没那么多问题。

至于正在教室里上自习的乔源还真没那么多问题。

此时他满脑子都是各种推理路径，只是顺手回了一个字。

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

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

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

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

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

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

“走吧。”

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

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

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

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

“嗯……”

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

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

“对。”

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

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

“也是。”

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

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

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