大国院士第七百一十四章 什么才叫真正的养成
七点半，前来参加报告会的学者已经纷纷落座。 大礼堂内坐无虚席，人声鼎沸，耸动的人影与交头接耳的讨论声汇聚在一起。 对于数学界而言，今天的报告会绝对是一场能堪比国家数学家大会i的盛会。 两大千禧年难题阶段性成果的突破，无论是p=np？猜想还是黎曼猜想，对于数学乃至全社会学科的发展都至关重要。 当然，热闹的不仅是礼堂中这些前来参加交流报告会的学者们。 在大礼堂的后台，南大仙林分校政务处老师和工作人员忙碌紧张的做着最后的检查。 从话筒到投影，从音响到放映，交流会期间各项设备都要确保没有任何问题。 这是仙林分校的阿米莉亚和玛丽娜教授。 从1936年到2022年，整整八十六年的时间，也才出三位女性菲尔兹奖而已，可见其数量之稀少，比野生大熊猫都罕见百倍。 而在这三位女性菲奖得主之后，三年后将在金陵举办的国际数学家大会，恐怕又将迎来一位新的女性菲奖得主。 p=np？猜想这一千禧年难题的核心问题，《大正整数因子分解具备多项式算法》证明，绝对配的上这份荣耀。 哪怕她此前在数学界并没有多少的名声，也足够了。 所以在刘嘉欣出场后，全场的目光都投了过来，带着好奇和观望，想看看这位传说中解决了p=np？猜想核心难题的女性学者到底长什么样。 会场内，当刘嘉欣站在报告台上的时候，台下顿时就涌起了窸窸窣窣的动静。 不少的学者都在惊讶这位女性报告者的年轻，从面相来看，她的年龄可能才二十六七的样子，和那位惊世骇俗的徐教授可能差不多大。 哪怕数学本身就是年轻的学科，但能在这个年龄就解决一个世界顶级的数学猜想，还是千禧年难题的重要组成部分，依旧让不少人感到无比的惊讶。 而在短暂的惊讶过后，不少人更是将目光投向了此刻已经走下了舞台，坐在最前面一排的那个年轻人身上。 前有阿米莉亚解决了布洛赫猜想，后有这位刘嘉欣解决了大正整数因子分解具备多项式算法难题。 若要说两人的共同点，除了年轻以外，那就是和那位此刻正坐在前排的徐教授有关系了。 前者是他的学生，后者有人说是他的学姐，也有些说是女友的，但不管怎么样，能将两人的报告会放到一起来举行，关系肯定都相当亲近。 或许，那位年轻的徐教授在教育方面也有着常人难以触及的高度？ 报告台上，刘嘉欣倒是没想那么多。 被全场数千人的目光注视，她只感觉自己的心都要跳出来了。 深吸了口气，目光落到了前排某个人影身上，看着对方脸带着笑容冲她轻轻的点了点头，刘嘉欣努力让自己冷静了下来。 “加油！嘉欣，你可以做到的，所有人都在看着你呢！” 在心里给自己默默打气鼓舞了两遍了，刘嘉欣眼神中带上了一丝坚定的神采。 很快，《大正整数因子分解具备多项式算法》证明报告会开始了。 按照此前的排练，在照例的欢迎了一遍全世界各地的学者后，报告会也进入了正题。 “‘p=np?’猜想是计算理论的核心问题。其中，复杂类 p包含所有那些可以由一个确定型图灵机在多项式表达的时间内可以解决的判定问题。而np则是指可以由非确定型图灵机在多项式时间内可以解决的判定问题” “它存在于数学、优化、人工智能、生物、物理、经济、工业等各个领域如果能够解决 p与 np两个问题类之间的关系，则解决了这些问题的算法复杂度问题，具有非常重大的意义。” “” 报告台上，从一开始的有些紧张生疏，到后面的沉稳应手，刘嘉欣讲解的声音也愈发平静下来。 坐在台下，看着渐入佳境的学姐，徐川脸上带着笑意赞许的点了点头。 虽然《大正整数因子分解具备多项式算法》证明可以说是刘嘉欣自己独立完成的，但没有他的话，如今的数学界大概也不可能看到这样一篇精妙绝伦的论文了吧？ 毕竟真按照历史走向的话，原本大学毕业的学姐就出去工作了，哪怕是她的天赋再好，但离开了学术界，再想做出些什么成果就几乎是不可能的事情了。 可以说，刘嘉欣就是他亲自挖掘出来的人才，他就是伯乐！这种养成系的成就，带给了他另一种不亚于解决一个世界难题的愉悦。 半个小时过去了，报告会逐渐进入尾声，然而台上的刘嘉欣却是不敢有丝毫的松懈。 因为接下来的提问环节，才是整场报告会的核心部分。 首先站起来进行提问的，是来自匈牙利着名的数学大牛，拉兹洛·洛瓦兹。 这位大牛研究的是理论计算机科学和离散数学，曾于2007年-2010年担任过国际数学联盟主xi一职。 虽然他没拿到过菲尔兹奖，但沃尔夫奖、高德纳奖、哥德尔奖、京都奖这些顶级的数学奖和计算机将他都拿了个遍。 可以说在计算机科学和数学交织的学科，是说一不二的真大佬。 这位大牛站起身后，看了一眼报告台上，又低眼看了下手中的笔记本，用平铺直叙的语气开口道： “在报告论文的第二十三页，我有注意到报告者在对群 c(k)的阶数 h(k)=|c(k)|叫做数域 k的理想类数进行描述时，完成了证明：h(k)= 1当且仅当环 ok中每个理想都是主理想，也当且仅当 ok具有唯一因子分解性质。” “关于这一部分，请问报告者是如何得出来的？” 听到这位大牛的提问，刘嘉欣快速的将平铺在报告台上的证明论文，找到了拉兹洛·洛瓦兹教授所说的问题。 看着上面的公式，她快速的开口回道：“对于许多种类型的数域，对于给定的有限交换群 g，在判别式 d(k) 6 x的所有这类数域中，类群为 g的所占比例当x→+∞时存在极限a，并且它们给出非负实数a的计算值” “而在第二十三页证明公式中，我完成当 d(k)通过所有的素数时，所有 d(k) 6 x的实二次域当中类数为1的证明” 简洁而又清晰的话语从刘嘉欣口中快速道出，报告台下，拉兹洛·洛瓦兹目光中带着一丝若有所思的神色，随即转变成了赞许。 他笑着点了点头，道：“谢谢。” 拉兹洛·洛瓦兹的提问结束后，提问环节继续进行。 第二个站出来提问的同样是计算机数学领域的大牛，2006年奈望林纳奖得主。 《大正整数因子分解具备多项式算法》证明是p=np？猜想的核心难题，对于数学界来说，它是千禧年难题的重要组成部分，是世界级的猜想，难度很大，但对于纯粹数学的发展而言，意义却算不上多大。 不过，对于计算机数学的发展来说，却可谓是巅峰级的存在。 犹如此前徐川完成的杨-米尔斯存在性问题一般，对于数学界而言，它只是一个极其难解的微分方程，抛开在这个过程中创造的工具和其他的收获来说，解开它能得到的是一个答案。 但对于物理学界来说，它却是支撑理论物理学再度往前走的重要基石，是完成大统一理论的必经之路。 因此，会场中，站起来提问的学者相当的多。 当然，并不是所有站起来提问的学者都是大牛，也都能提出精准而又有水平的问题。 比如某位来自爱丁堡大学的博士生，就提出了个丢脸丢到全世界的问题。 “请问在第四十七页中，近似算法的运行时间和近似保证之间的权衡，平方和层次结构可以适用于指数级时间的近似算法，n表示图的顶点数r可以是任何大于1的正实数（可能取决于n)，这一问题报告者是如何得到这一证明的？” 这个问题一出，大礼堂内顿时就骚动了起来。 窸窸窣窣的交流声在宽敞无比的礼堂内交织着，不少人向这位站起来提问的博士生投去了诧异、惊讶、疑惑甚至是嘲笑的目光。 听到问题，报告台上，刘嘉欣都有些诧异的愣了一下，随即确认了一遍问题后，开口解释道：“顶点覆盖、均匀最稀疏割及相关问题的适度指数时间近似算法，这并非我的证明结果。” “如果我没有记错的话，在后续的解释中，有引用卢卡·特雷维桑教授在2018年国际数学家大会上的报告论文。” “你可以看看引用行中的第六个，特雷维桑教授已经做了相当完备的解释。” 听到自己提了一个早已经被人解决了的问题，这位来自爱丁堡大学的博士生顿时脸色一红，细若蚊声的道了一句‘谢谢’后一脸尴尬的坐了回去。 学艺不精是一回事，勇于在报告会现场提问也是一回事，哪怕提了个错误的问题也算不上什么。 但是很显然，这种心中有了疑问，连引用论文都不会去看，也不会去事先搜索寻找是否已经有解决答案的问题，提出只会被人耻笑。