(一)。前人之路 。 孪生素数猜想作为最著名的数学难题之一,孪生质数猜想已经困扰了数学家一个多世纪。如果能够解决这一难题,我们把一对彼此相差2的质数叫做孪生质数,比如5和7,17和19等等。孪生质数猜想预测,在所有的自然数或整数中,这样的质数有无数对。在过去十年中,数学家们在这一问题上做出了突破性的进展,但是还远没到解决它的程度。
![23873aeaff12e5153251a1d657c38464.png](https://i-blog.csdnimg.cn/blog_migrate/299632681125943c84fd81b057562cbe.jpeg)
哥伦比亚大学的威尔·萨温(Will Sawin)和威斯康辛大学麦迪逊分校的马克·舒斯特曼(Mark Shusterman)给出了一份新证明。他们在一个更小但依然十分重要的数学世界——有限域系统(finite field system)中证明了孪生质数猜想是正确的。在这样的系统下,人们可以只处理少量的数字。
麻雀虽小,五脏俱全。有限域系统仍保留着整数域的许多性质。数学家们尝试在有限域中回答算术学的问题,并期望将这些结果应用到整数中去。“说起来可能有些天真:我们的最终梦想是,如果对有限域的世界理解得足够好,你就能解释整数世界。”梅纳德说。
在有限域系统中,除了证明孪生质数猜想,萨温和舒斯特曼还得到了一个效力更广的结果。他们证明了在短间隔中,孪生质数究竟多久出现一次。这一结果对孪生质数现象可谓是掌握到了极度精确的地步。数学家们做梦都想在普通的数字上得到这样的结论,所以,凡是相关的证明,他们都会找来细细研究,以期得到新思路,新启发。
新型质数