第213章 数院的人果然都很疯
「你确定是孪生素数猜想,不是克拉梅尔定理?」许青舟面色古怪。
一个数学猜想被证明之后,有人想要去证伪可算是太常见了,就连证明了很多年的费马大定理,现在都有人想着要怎麽去寻找反例。
要是说有人打算揪出他克拉梅尔定理证明的错误,可以理解,但孪生素数猜想的证明内容是3天前才在网上公布的吧。
「嗯,就是孪生素数猜想。」
任楚君肯定地点头,望着许青舟很淡定,她又不由得有些疑惑:「你一点都不担心?」
「不担心,反倒是有些兴奋了。」许青舟沉声说道。
「.」
这种场面,就好像有人来打自己的脸,可当事人却露出诡异的微笑。
桀桀桀,你就打吧,越打我越兴奋!
任楚君小脸凝重,以前就听说京大数学的人都很疯,现在看到,好像还真是这样。
许青舟之所以完全不担心,是因为像这类已经证实出来的数学猜想是非常难反证的,除非找到原证明中的逻辑错误或者提出一个全新的丶与原证明相矛盾的论据。
前者不大可能,先不说他自己就验算过无数遍,在投稿过后,可是还经过了6个顶尖数学家的论证。
至于后者.,这人要是能提供一个全新的视角,早就抢先了,哪里轮得着他来装这个逼。
许青舟快速收拾好东西,跟着任楚君出去,想看看究竟是哪里的部将能够如此勇猛。
同时还是有点好奇,对方能从什麽角度来驳斥他。
很遗憾,俩人还没看到精彩反驳论证,那位猛士已经中道崩殂,拿着东西,悄悄溜走了,许青舟依稀能够看到对方潦草的背影。
瘦瘦高高,穿着一件洗得发白的棕色夹克,让许青舟想到《宇宙探索编辑部》中的唐志军。
黑板上,还残留着数排公式。
【设正整数n,p为不大于√(n+2)的素数,相差2的两数m和(m+2),若m≠0modp 当p≥5时,馀下同馀数类大于去掉同馀数类,且p≤√(n+2).】
在这些公式旁边,又有两排公式,从字迹上看是另外一个人写的,至于内容,仅仅用两个公式就把这位要证伪的人前面的论证全部干掉了。
张宏师兄走过来,感叹道:「是个数学爱好者,应该是偷偷混进来的,在这里说了一大堆,冯教授实在是看不下去,就上去指出他的错误。」
许青舟叹息一声,对方指出有问题的点,正好是他连蒙带猜写渐近公式的地方。
至于这一大黑板的公式,就瞧这麽几眼,他就已经找到不下于三处逻辑错误,就比如开头那里,B(n)不是well defined,0与一个正整数互质是没有定义的。
他发现,这位顶着两个黑眼圈的师兄和刚才那人似乎有着相同的特质,对数学有入魔一样的痴迷。
不同的是,张师兄是理性的,所追求的并不是空中楼阁。
他前几天无意中看到张师兄的资料,十几篇sci,不乏1区的论文,最拿手的,是Modi函数的改进和RSA算法基于大数分解问题这两个领域,算是专家。
完全就是一个标标准准的学霸模板。
研究数学,通常需要深厚的数学功底和严谨的逻辑推理能力,而这是大多数民科所缺乏的。
张宏邀请:「那边有个有限阿贝尔群的特徵理论的研讨会,想不想去看看?」
「我还有个讨论会。」许青舟无奈地说道。
「差点忘了,你可是今天的主角。」张宏拍了拍脑袋,脸上扯出一个惨白的笑:「行,那不打扰你。」
「师兄再见。」
许青舟想说这位张师兄注意身体,但又想到以前也经常有人告诉自己不要太拼命,但当时自己同样没听,于是放弃了。
209教室,大约有十几个人在等着,基本都是老外。
「嗨,许,又见面了。」梅纳德教授笑着跟许青舟打招呼。
许青舟伸手:「梅纳德教授。」
握完手,梅纳德教授又给许青舟介绍他旁边的白发老头,说:「这位是普林斯顿的格里特·伯伊尔教授。」
「伯伊尔教授,您好。」许青舟再次伸手,没想到这位就是他论文的外审之一,
伯伊尔教授笑眯眯地点头:「许先生,终于见面了,你的论证很精彩。」
「谢谢。」许青舟道谢。
「我有个老朋友,Terence Chi-Shen Tao,他本来也很想过来,但很遗憾,他的行程出了点问题。」
「确实很遗憾,不过我相信会有机会。」许青舟诧异了一下,又笑着说。
Terence Chi-Shen Tao,就是着名的华裔数学家陶哲轩,他虽然主要从事调和分析丶偏微分方程丶组合数学的研究,可在素数方面,同样有涉足。
大家没有过多的寒暄,很快就进入主题。
和刚才的正式报告会不同,许青舟就选取了几个比较重要的点进行叙述。省去前面的介绍,直接进入改进筛法的部分,然后到探究素数