第402章ICM报告会九提问2
第402章ICM报告会九提问2(第2/3页)
起来的人，是詹姆斯·梅纳德。
2022年菲尔兹奖得主，牛津大学数论教授。
这位年仅三十多岁的英国数学家，以其在孪生素数猜想上的突破性工作而闻名。
正是他，在张益唐2013年证明了「存在无穷多对间距不超过七千万的素数对「之后，将那个巨大的「七千万「上界，以惊人的速度压缩到了「246「。
可以说，在「素数间距「这个领域，梅纳德是当今最具权威的活跃学者之一。
……
「徐博士。」
梅纳德的声音不大，带着牛津人特有的那种冷静而矜持的腔调。
「首先，请允许我表达我个人对您这项成就的最高敬意。这是一次数论史上的里程碑事件。」
「但我的问题，不关乎过去，而关乎未来。」
他微微停顿了一下。
「您的'徐氏谱变换'，优美地解决了p+q=n的问题——也就是将偶数分解为两个素数之和。」
「那么，我想问的是——」
梅纳德的目光直视着台上的徐辰，语气中透着一种发自内心的热切与期待：
「如果把中间的加号，换成减号呢？」
「它能处理p-q=2k的问题吗？」
……
这个问题一出，整个主厅瞬间安静了下来。
因为在场的所有数论学者都明白，梅纳德问的，不是一个随意的假设性问题。
他问的，是数论中另一座与哥德巴赫猜想齐名的丶至今屹立不倒的终极高峰——
孪生素数猜想。
……
「任意一个大于等于4的偶数n，都可以表示为两个素数之和」。这是哥德巴赫猜想，刚刚被徐辰证明。
它研究的是素数的「加法「性质：两个素数加起来，能凑出什么。
而孪生素数猜想则完全反过来，它研究的是两个素数之间的「距离「——存在无穷多对素数，它们之间的间距恰好为2。
比如（3，5）丶（5，7）丶（11，13）丶（17，19）……这些成双成对出现的素数「双胞胎「，是否会一直延伸到无穷远处，永远不会断绝？
在数学的语言里，「加法「和「距离「看似完全不同，但在加性数论的框架下，它们本质上是同一类问题的不同面向：
p+q=n，是在问「两个素数加起来等于一个固定值「——这是加性约束。
p-q=2k，是在问「两个素数之间的差等于一个固定值「——这依然是加性约束，只不过符号变了。
因为减法，不过是加上一个负数。
……
所以，梅纳德的这个问题，其实是在问一件深刻的事情：
徐辰发明的那套「将加性问题翻译为谱正定性问题「的框架，是不是一种具有普适性的方法论？
如果答案是肯定的，那么
（本章未完，请点击下一页继续阅读）