跟着进度帮助整个团队去推大量的方程式。

但面对数百个复杂的方程式，哪怕他手推的效率不比计算机自动化低。

可要想兼顾处理方程式之间的矛盾，依旧是项非常复杂的工作。

当然面对这种困难他非但没有被打击到，反而整个人更加振奋。

甚至迫不及待的想要战胜困难赢得胜利，这也是他先前答应王晓云教授参与此项目的原因。

随着时间一天天过去，临近除夕他也逐渐适应了推方程式的节奏，并且速度和效率也越来越快。