整个主厅,在听到这句话的瞬间,陷入了一种诡异的安静。
无聊?
你在火车上,为了打发无聊,顺手推演了一下「孪生素数猜想是否能用你的框架解决「?
当然,数学家在旅途中算题,这事儿本身倒不稀奇。大数学家哈代就喜欢在去板球场的火车上构思证明,庞加莱更是在踏上公共马车踏板的那一瞬间想出了富克斯函数的证明。
对于这帮数学家来说,在摇晃的车厢里找乐子是传统艺能。
但那些都是「灵感的闪现「——一个念头丶一个方向丶一个模糊的直觉。
而徐辰说的是什么?
他说他在火车上,不仅产生了灵感,还把整个框架的适配性做了一遍完整的推演!
这可不是什么「随手画个三角形求求面积「的消遣,这是困扰了人类数百年的终极难题!哪怕只是判断「框架是否适用「这一步,这其中牵扯到的谱分解匹配度丶局部测度转换以及误差项量级估算,正常数学家在脑海中演算个一两天都不算快!
你现在告诉我们,你听着火车「哐当哐当」的声音,看着窗外的风景,顺带手就把这事儿给办了?!
……
「不过,当时我只是做了一个粗略的框架性判断,没有严格地验算误差项。」
徐辰一边说着,一边拿起了白板边的马克笔。
「让我在这里把核心的修改展示一下。」
他转向白板。
在之前那个「对称摺叠算子「的公式旁边,他开始进行修改。
「哥猜处理的是p+q=N,这是一个'同向叠加'的约束。而孪生素数要求p-q=2k,这是一个'反向间距'的约束。」
「两者的区别,在局部分量的层面上,体现为辛几何投影的相位方向发生了一百八十度的翻转。」
他在原有的核函数定义上,将一个关键的指数因子里的正号改成了负号。
仅仅是一个符号的改动。
「大家看,当我们将局部的辛几何投影做一个相位逆转之后——」
唰唰唰!
徐辰的笔尖飞速地在白板上写下了修改后的新公式。
「——对称摺叠算子的核心对称性,也就是函数方程s→k-s的那个映射,依然完美地保持不变。」
「因为函数方程的对称性是自守L函数的内在属性,它不依赖于我们施加的约束是'加法'还是'减法'。」
「所以,谱侧的严格正定性——」
他在新的公式旁边,重重地画了一个大于号。
「依然适用。」
……
整个修改过程,从他拿起笔到放下笔,总共不到十分钟。
十分钟。
他用十分钟,在一千两百位全球最顶尖的数学家面前,当场证明了「徐氏谱变换「对孪生素数猜想的适用性!
……
「轰——!!!」
如果说刚才证明哥猜是引爆了一颗原子弹,那么现在,徐辰这番话,等于是在核爆的中心,又引爆了一颗更大当量的氢弹!
买一送一?!
证明哥猜,顺手把孪生素数猜想和波利尼亚克猜想也给打包解决了?!
这特么是什么神仙操作?!
……
台下的梅纳德,已经彻底说不出话了。