所以宁为不止打算建立出理论框架，还希望能够开发出一个基础的智能程序开发环境，并制定相应的接口标准。

这个任务完成之后，他在人工智能领域的研究也差不多圆满了，可以将注意力放到其他方向了。

当然再次着手构建全新的理论，难度自然是极大的。

不过早已经习惯了的宁为其实并不觉得有什么难的……

只是有一点，宁为怀疑当他将整套理论体系构建成功之后，可能大概也许燕北大学又要多一个为班了吧？毕竟华清那边好像就是这么玩的。

至于利用三月的翻译能力搭建一个论文翻译平台这种事，宁为只是打了个电话给严明，这种没什么技术含量的事情交给朋友就行了。

这个平台搭建成功之后，后台服务器就直接挂在三月期刊的官网上，多少能起到一些宣传效果。

至于三月那篇关于ns方程的论文，宁为就更不关心了。

那不是他的研究方向，话说他都已经选好了投递的期刊了，审稿不是该交给其他专家吗？

……

宁为没有在关心三月那篇论文，这实际上是加大了田言真跟鲁东义的工作量，原因自然是三月那些轻易可得……

实际上关于偏微分方向的论文，随随便便就能水到上百页。

原因就是那些极为复杂且冗长的计算过程，这本该是机器长项的部分，基本上都被三月一个轻易可得省去了。

当然这也可以理解，因为对于机器来说，这些大概是真的轻易可得吧，但对于审稿人来说，这其实是件很纠结的事情，因为不动笔计算一遍，很难就判定这定理或者引理就是对的。

所以为了这些轻易可得内容，田言真跟鲁东义大概没日没夜的忙碌了近十天，之前三月给宁为八十多页的论文内容也直接被扩充到了两百八十多页。

这还是虽然三月轻易可得比较多，但是关键思路跟证明过程其实很完整的情况下。