…
加州大学洛杉矶分校，
陶哲轩面带微笑的走在校园中，和善的回应跟他打招呼的同学。
虽然他从小在西方长大，但刻在骨子里的华夏美德却在他身上展露无疑。
功成名就的他身上有一种其他数学家不具备的松弛感，他不用于时间赛跑，其他数学家或许急于寻求突破和成果，但他只是在数学的后花园中肆意玩耍，如果能够有所收获，那当然是巨大的乐趣，若是没有收获，那也无妨，玩耍的过程本身就能给他带来巨大的乐趣。
“陶，我想我们快要成功了！”
刚走进实验室，手下博士生伦纳德露出灿烂的笑容。
陶哲轩也不在意，这些西方人就是这样，有时候自信得让人感觉他们是个傻子，但真做起事来，这样的心态反而能有意想不到的收获，他已经习惯了。
最近他们正在进行的是一个叫等式理论计划的研究项目，这是陶哲轩自己提出的项目，旨在探索代数领域中原群等式之间的逻辑关系，他大胆的开创了人类数学家与AI协作的新型研究范式。
通过分析4694个原群等式之间的2202942个逻辑蕴含关系，建立完整的数学结构图谱，如果使用传统方法，至少需要数十年才能完成，但通过人机协作，他们只用了57天！
目前这个成果已经进入论文撰写阶段，陶哲轩也很开心，他的成功只是他个人的一小步，却是人类的一大步。
这次成功，验证了去中心化数学研究的可行性，为复杂数学问题提供可扩展解决方案，可以预见，未来一段时间，人类数学家结合人工智能将会做出一大批令人震撼的成果。
来到自己的位置，打开电脑，陶哲轩打开邮箱，这是他的工作习惯，每次开始工作前，先将邮箱中的事务处理一遍。
至于撰写论文的工作，自然轮不到他去做。
按时间从早到晚排列收件箱，看到陈辉给自己的回信，陶哲轩洒然一笑，他自己年轻时也经常陷入这种状态，不理会外界任何事情，自然能理解陈辉之前两个月都没有回自己邮件。
想了想，陶哲轩将自己这些天的成果在邮件中简单描述一番，回复了陈辉的邮件。
点开最后一封邮件，陶哲轩发现竟然是一份审稿邀请。
这一次并不是某个期刊杂志的审稿邀请，而是国际数学联盟发来的邀请。
“纳维斯托克斯方程证明？”
陶哲轩咂咂嘴，如果不是发件人
…。。