第139章 六年？半年！（6k）(2/9)

。

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

    因为太短了。

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

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

    尼兰詹非常了解。

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

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

    他们大致是这样做的。

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

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

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

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

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

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

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

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

    所以你想要什么？”

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

    不说在石溪分校混教授职位，以自己资历和学生履历，跑到US前五十的高校混个教授不成问题。

    甚至就纽约本土的纽约城市大学，混个教授没有一丁点问题。

    更何况，要是林燃拿菲尔兹，他拿石溪分校校董特别贡献奖