计算机房。
张硕去冲了两杯咖啡，也顺便帮孙兴利冲了一杯，一边问道，“孙哥，你这个研究叫什么名字？”
“平方数起始的素数分布检验法。”
孙兴利说了名字以后，补充了一句，“我的论是这个名字，但其实我想换一个，看起来更专业、更有内容，但是，想不出来。”
“有个名字就行了。”
张硕不在意的说着，也快速建了個系统任务——
【任务一】
【研究项目名称：平方数起始的素数分布检验法（难度评估：B）。】
【进度：0.001%。】
（任务可取消，目前，取消任务需要科研币数量：0。）（剩余进度需要科研币数量：500。）“500？”
张硕仔细看了一下需要科研币的数量，不由的咧了咧嘴，再看向孙兴利的目光都带上了敬意。
这个难度和‘蒙日-安培方程解的光滑性近一步论证’相同，而‘蒙日-安培方程论证’是属于偏微分方程领域的研究。
偏微分方程领域，是数学分支学科中论最多的。
即便是想不到该怎么去论证，也能够去看其他论来寻找灵感，也可以去参加很多的方程领域的学术讨论会。
罗勇军做研究的过程中，就是不断的看论，包括以往的蒙日-安培方程的研究，也包括其他相似类型方程的研究。
这些对于研究都是有帮助的。
数论方向的研究就不一样了，也可以找到一些相关性的论，但想找有实质内容的很少。
数论方法论，包括已完成的数论成果，都是一些零零散散的内容，两篇同样是素数问题的研究，没有任何相关性是很正常的事情。
另外，数论领域的一些证明内容，往往是晦涩难懂，想理解其中的逻辑都不容易。
最典型的就是安德鲁-怀尔斯的费马猜想证明，怀尔斯作报告的过程中，牛顿研究院的评审们要分成好几部分并分别去理解。
一直到现在，也没有任何一个学者明确说，已经完全弄懂了证明过程。
当然也因为大部分学者不愿意花费那么多时间去理解一个证明过程。
反正，证明了，就可以了。
总之，针对一个研究的难度，不仅要看任务需求的科研币数量，也要看所属的领域。
同样的科研币需求，数论领域肯定比偏微分方程的研究要难一些。
张硕把咖啡递给了孙兴利，随后把椅子拉过来就坐在了一边。
孙兴利没有拿打印好的论，而是拿了个空白的草稿本，说道，“我是在研究杰波夫猜想的过程中发现的这种方法。”
“如果方法没问题，下一步我就打算申请一个杰波夫猜想的项目，我感觉这个方法能用在杰波夫猜想的研究上，只是不知道能不能完成。”
他说着摇摇头。
张硕听的灵机一动，再次打开系统建立了一个任务——
【任务二】
【研究项目名称：杰波夫猜想的证明（难度评估：B）。】
【进度：0.001%。】
（任务可取消，目前，取消任务需要科研币数量：0。）（剩余进度需要科研币数量：600。）“600？”
张硕拧了一下眉头，旋即认真听起了孙兴利的讲解。
孙兴利的研究是从丢番图方程和三元方程解集基底互素定理开始的。
丢番图方程是数学中的一个重要分支，也被称为不定方程或整系数多项式方程。
这类方程的特点是变量的取值仅限于整数，且方程的系数也是整数。
三元方程解集基底互素定理则是一种数学理论，通过累积互素的概念，详细论证了如何解决一系列的数学难题，包括哥德巴赫猜想、孪生素数猜想、a猜想、比尔猜想、黎曼假设、考拉兹猜想、NP问题和四色猜想，等等。
这一理论提出了新的数学工具——相邻论和重合法，通过求同和求异的方法，不断扩域来实现相互超越，完成深层抽象和底层计算，从而解决这些看似孤立的问题。