第139章 六年？半年！（6k）

尼兰詹喃喃道：“伦道夫，好，没问题，我相信你能做到。

所以你想要什么？”

自己要是带出一个菲尔兹，哪怕没有半点贡献，自己也能狠狠吹一波。

因为张益唐率先给出7000万的上界，然后数学界搞了一个叫Polymath8的项目，把差距上界从7000万降低至246。

这个名为Polymath8的项目是由陶哲轩发起的，里面就有用到计算机辅助。

他们大致是这样做的。

采用在线协作模式，通过博客和维基页面来讨论。

项目采用流水线式的方法，将任务分为不同组，包括了理论分析和计算优化。

林燃说完，尼兰詹人都傻了。

因为半年这个时间太短了。

在当前科研工作停滞，会议停止、交流只能线上、组会只能线上开。

学生进度到底如何，完全是未知数。

所以半年，林燃就能解决孪生素数猜想。

Polymath8a主要就是优化张益唐的可容许k-元组，使用GPY筛法（Goldston-Pintz-Yldrm筛法）、I型、II型、III型估计，并进行数值优化。

初始界限为7000万，ScottMorrison通过计算机辅助将界限降至59470640，最终稳定在4680

花了3个月，涉及大量计算搜索可容许元组，这部分工作就用到了计算机辅助。

而其中詹姆斯·梅纳德，前面提到的拿了2022年菲尔兹的数学家，他提出一种改进的GPY筛法，能够证明素数间差距不超过600，他的方法基于纯数学工具，核心是分析性筛法理论，无需广泛计算。

而从600降低到246，则必须要借助就是就是工具辅助，纯数学工具截至目前为止都没有数学家做到。

老实讲，在当前形势下，这个时间验证成本对尼兰詹来说几乎没有。

因为太短了。

作为人工智能领域的资深学者，尼兰詹是会或主动或被动的了解到数学界一些大消息。

像前几年孪生素数猜想取得进展。

尼兰詹非常了解。