我的老师是学霸

十点，三人结束论文中证明弱bab猜想过程的验证，进入论文的最后一部分的验证工作。