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