第92章 全部满足!(2 / 2)

就算让他也看到同样的论文,也未必能够像徐晓那样想到这种方法。

这种强大的数学直觉,才是决定一个人研究能力上限更关键的因素。

等两人聊完这些,已经将近十二点了。

虽然他们都很想马上开展接下来的工作,但毕竟这也不是能够一蹴而就的事情,最终他们还是抑制住了有些兴奋的情绪,回到床上强迫自己睡了过去。

第二天一早,两人都早早醒来,各自泡了一桶方便面,吃完之后便按照昨天晚上的计划开始了工作。

虽然这只是两人的第一次合作,但彼此之间的默契都非常足,就仿佛是合作过多年的老搭档一样。

只需要通过非常简短的交流,他们就能够马上理解对方的意思。

「没问题,Magma跑出来的同调结果跟我手动计算的完全一致。」

「好,逐层扭曲时,记得先扭a再扭c,否则可能会出挠元。」

「谱序列积分我算完了,你再验证一下有没有错误。」

花了一整天的时间,两人便完成了框架的搭建和核心验证的工作。

接下来,只要再完成最终的收尾验证,所有的问题就可以都得到解决了。

而这最终的收尾验证工作也是比较繁琐的,他们必须要逐条验证Broué猜想要求的所有条件。

如果有其中的一条无法满足,那他们之前所做的工作又将前功尽弃了。

休息了一个晚上之后,他们先列出了一张验证清单,随后逐条开始了验证。

「复形所有项都是有限生成透射模,满足。」

「复形自对偶性,满足。」

「张量积诱导三角范畴的正合函子,满足……」

随着一项一项条件被成功的验证,董易的手都因为过于的紧张和激动,变得有些颤抖了起来。

因为每完成一项验证,就代表他距离完成研究又进了一步,按时毕业的希望就多了一分。