二十世纪初,希尔伯特公布了23个重大数学问题,其中第八个问题就是哥德巴赫猜想、孪生素数猜想以及黎曼假设。
这三个问题是紧密关联的,强哥德巴赫猜想成立,强孪生素数猜想也就成立,继而黎曼猜想也就成立。
玛格丽热特·嘉吉教授在《数学年刊》(Annals of Mathematics)发表的论文《质数间的有界间隔》,证明了存在无穷多对质数间隙都小于7000万。
经过最终同行评审专家认定,她孪生素数研究方面所取得的突破性进展,玛格丽特证明了孪生素数猜想的一个弱化形式。
在最新研究中,玛格丽特在不依赖未经证明推论的前提下,发现存在无穷多差小于7000万的素数对,从而在孪生素数猜想这个此前没有数学家能实质推动的著名问题的道路上迈出了革命性的一大步。
解析数论专家亨利·伊万尼克给《数学年刊》的建议是这样的:“作者成功地证明了素数分布领域的一个具有里程碑意义的定理。我们巨细无遗地研究了这篇论文,但没有找到瑕疵。”
在玛格丽特的成果之前,人们还不知道是否有一个上限,使得存在无穷多对素数间隔小于某个上限。也就是存在这种可能,无论你给了多大的数字,比如1亿,到某个自然数之后,就再也没有相距小于1亿的素数对。
她完成了从无限到一个有限值(7000万)的一次飞越。
亨利·伊万尼克预感,这篇论文将引发持续的雪崩式的优化和改进,以及随之而来的理论创新。
早上十点,普林斯顿数学系开放了一间百人阶梯会议室作为玛格丽特报告会地点,她将在这里向大家正式介绍她的研究方法以及研究成果。
任何提问者都自带了能解决问题的方案,即问题本身皆暗含了答案。

一百六十年前,希尔伯特公布的第八个问题就是哥德巴赫猜想、孪生素数猜想以及黎曼假设,希尔伯特能很稀罕地提出这个问题,就一定自带了能解决该问题的知识基础。

在此基础上,我思考着能不能找到一个正数,使得有无穷多对素数之差小于这个给定正数

用筛法发现,现存在无穷多差小于7000万的素数对。

玛格丽特站在讲台前,转着手里的激光笔,花费一个小时报告了目前她在孪生素数猜想上多取得的进展。
荧幕上的PPT已经转到了最后一页ending,台下坐着亨利·伊万尼克、丘先生等数学专家,他们一边看一边点头,激动地等待举手提问环节。
玛格丽特却放下了手中的激光笔,手握马克笔站到了旁边的白板面前。
【……多项式 x²−3x−1 就可以由三维空间中的点(1, -3, -1)表示,多项式3x⁷ + 2x⁶ + 2x⁵−2x⁴−3x³ + x²−2x + 3可用8维空间中的一个点表示……】
“有限数系统,她想用这个设定来证明孪生素数猜想吗?!”亨利·伊万尼克惊讶的坐直了身体。