第208章 刘浩然他们似乎都变得正常起来了

  他们构建的双纤维化结构，依赖於一个隱含的假设，那就是素数集合在某种意义下是“均匀分布”的，以至於可以用连续统上的积分来近似离散求和。

  作者们显然试图用圆法里的指数和估计来支撑这个假设，但他们的估计精度远远不够。

  从离散求和过渡到连续积分所需要的误差控制，比他们给出的界要严格得多。

  换句话说，他们证明的只是一个在“连续近似”意义下的结论，离真正的哥德巴赫猜想还隔著一道需要用硬分析来填平的鸿沟，而这道鸿沟的宽度，本质上和原问题本身的难度不相上下。

  肖宿抿了抿唇。

  第三篇、第四篇、第五篇。

  肖宿瀏览的速度越来越快，眉头却越皱越深。

  有一篇来自东京大学的研究直接把顾—辛流型中的弗洛尔同调计算套用过来，却在同调群的维度计算中漏掉了一个关键的符號因子，导致整个后续推导建立在错误的基础上。

  还有一篇来自麻省理工的年轻博士，试图用机器学习的方法来“辅助”筛法的参数选择，声称可以把陈氏定理的“1+2”推进到“1+1.5”，这是一个在数学上根本没有任何意义的表述。

  最让肖宿觉得荒诞的是，他甚至看到了一篇来自国內某高校的论文，標题赫然写著《基於肖宿理论的哥德巴赫猜想机器证明框架》。

  点进去一看，所谓的“机器证明框架”不过是把哥德巴赫猜想验证到了十的八次方量级，然后用了一个非常粗糙的概率模型来“预测”更大偶数的情况。

  作者似乎完全没有意识到，“验证”和“证明”之间隔著一条数学的鸿沟，而这个鸿沟有多大呢？

  就算你用计算机验证到了宇宙毁灭的那一天，你也永远无法触及“任意大偶数”这个无限的概念。

  肖宿在这时忽然想到顾叔叔之前跟他说过的，他写的东西，整个数学界大概需要数十年才能真正消化这句话。

  在他看来，数学是最简单的科学，它没有现实世界的复杂性，定义清楚、推导严谨，结论就会正確，无所谓消不消化的问题。