第651章 审稿 三 过稿通知（1/2）

天才一秒记住本站地址：[笔趣阁ok]
https://www.bqgok.net最快更新！无广告！

回到自己的办公室后，徐辰立刻重新打开了伊藤健太的那篇论文。

虽然理察那套「AI自动探索+Lean4验证「的模式已经证明了它的恐怖的威力，但那毕竟更适合某些特定领域的自动化，甚至属于随机抽卡类型。

对于眼下要解决的确定性问题，徐辰更相信自己的直觉。

没有路标的荒野上，只有人类顶级的直觉能指出方向。AI算力再强，也只是开路的推土机。方向错了，推土机挖得越快，偏得越远。

接下来的两天，徐辰基本就是在研究院附近的院长公寓和办公室里两点一线。

他将伊藤那套用于狄利克雷多项式大值估计的调和分析方法进行了彻底的解构，然后将它们小心翼翼地嵌入到自己为了证明哥德巴赫猜想而创立的徐氏谱变换之中。

两天后。

随着最后一行约束条件被徐辰敲入系统，他终于在两者之间，架起了一座桥梁。

「好了。」

徐辰舒展了一下有些僵硬的肩膀，将这份刚刚完成架构设计的任务提交到了M1集群。

有了他的明确指引，再加上集群20%的算力加持。

剩下的，就是等待推土机把路推平了。

……

看着进度条开始稳步推进，徐辰心情相当不错。

之前系统刷新出的那个「三选二」任务里，第一个选项赫然写着：【选项一：点石成金——审稿时，发现某论文核心思想存在拓展潜力。请补充至多不超过两项关键性引理，或提供全新视角，使其适用范围显着扩大或价值得到本质性提升。】

他将分波框架嵌入徐氏谱变换，完全吻合了这个要求。这波丰厚的系统经验，算是稳稳地揣进口袋了。

「这位远在日本的博士幸运儿，倒也不用太感谢我。真要说起来，我还得谢谢你给我白送一波经验呢。」徐辰端起茶杯战术后仰，嘴角勾起一抹愉悦的弧度，「点石成金的任务是完成了，就是不知道剩下那两个任务……会是哪两个倒霉蛋被我盯上。」

……

一天后。

M1完成了计算，将最终的推演结果反馈到了徐辰的屏幕上。

看着那份长达数十页丶经过严格逻辑推导和数值验证的证明报告，徐辰满意地点了点头。

正如他所预料的那样。

被高维分波方法强化后的徐氏谱变换，成功地在阿瑟-塞尔伯格迹公式的几何侧，将那些狂躁的非线性高频震荡噪声强行滤除，最终提取出了那个至关重要的正定主项。

至此，证明的最后一块拼图严丝合缝地落位。

朗道四个问题之第四问题，是否存在无穷多个素数p，使得p=n2+1，在一百一十二年之后，终于迎来了肯定的答案。

「呼……」

这已经是继哥德巴赫猜想和孪生素数猜想之后，徐辰亲手解决的第三个朗道问题了。

至此，朗道在1912年国际数学家大会上提出的那四个被他断言「在当前数学认识下无法解决」的素数问题，只剩下最后一个勒让德猜想，还孤零零地立在那里。

有点强迫症的徐辰有些蠢蠢欲动，凑够四个总显得更完整一些。

不过，数学问题讲究机缘。没有足够的思路，硬凑也没有意义。系统任务还在，之后总会遇到合适的机会。

徐辰没有继续纠结，转而打开《数学之道》的审稿后台，进入伊藤健太那篇论文的处理页面。

他思考片刻，在主编意见栏中敲下一段回复。

……

日本，京都。

𝘽𝒬𝙂𝒪🅚. net