第103章 验证成功，证无穷性问题【二合一】（1 / 8）

    “积分值计算终于出结果了。”

    8月30日，周四。

    晚上十点多，信息与工程学部机房。

    徐铭看着电脑屏幕中的结果，脸上浮现出喜色，忙立刻进行下一步操作。

    目前Φ(s; x)的函数形式已经确定，且通过微调路径弯曲点的位置和曲率，成功找到对零点位置微小扰动不敏感的鲁棒路径。

    只需再验证筛法问题转化为复积分的思路，如果可行便代表多尺度解析筛法成功。

    为此他选取计算不超过x的素数个数π(x)，尝试用设计的积分表达式近似。

    在相对较小的x，选择合适的积分路径r，使用编写的自适应积分程序计算该积分值。

    今天顺利得到计算结果，他也不再迟疑，直接在信院机房将积分值与精确的π(x)对比分析。

    “积分值能较好逼近π(x)。”

    “误差积分值相比传统误差界更小，且随x的增大而相对减小。”

    “全部都达到了预期。”

    徐铭时不时低喃出声，念出比较后的结果，整个人也因兴奋脸色有些潮红。

    从确定数论筛法选题方向，到提出多尺度解析筛法相关理论。

    将筛法本身动态化以及解析化，转变成复积分问题。

    又经过庞大数值的计算验证。

    今天总算是得到了成果，顺利优化出一种全新的动态解析筛法。

    “我的筛法理论是成立的。”

    坐在椅子上他再次念叨这么句，下秒突然想起什么立刻拿起旁边草稿本。

    既然确定得到新的筛法工具，那么想证明其在数论领域研究发展中的作用，最好的办法无疑是证明猜想难题。

    伴随这个念头在脑海中浮现，他很快便想到了一个比较合适的选择。

    “斐波那契数的无穷性问题。”

    无论信息学科提升到1级是编写的程序，还是先前无线定位受钢结构影响，误差峰值出现的时间秒数，均是和数论中的斐波那契数存在关系。

    而斐波那契数的无穷性问题，目前仍旧是数论领域尚未解决的难题。

    即斐波那契数中是否存在无穷多个素数？

    作为研究素数分布，多尺度解析筛