是他亲自挖掘出来的人才,他就是伯乐!这种养成系的成就,带给了他另一种不亚于解决一个世界难题的愉悦。
半个小时过去了,报告会逐渐进入尾声,然而台上的刘嘉欣却是不敢有丝毫的松懈。
因为接下来的提问环节,才是整场报告会的核心部分。
首先站起来进行提问的,是来自匈牙利着名的数学大牛,拉兹洛·洛瓦兹。
这位大牛研究的是理论计算机科学和离散数学,曾于2007年-2010年担任过国际数学联盟主xi一职。
虽然他没拿到过菲尔兹奖,但沃尔夫奖、高德纳奖、哥德尔奖、京都奖这些顶级的数学奖和计算机将他都拿了个遍。
可以说在计算机科学和数学交织的学科,是说一不二的真大佬。
这位大牛站起身后,看了一眼报告台上,又低眼看了下手中的笔记本,用平铺直叙的语气开口道:
“在报告论文的第二十三页,我有注意到报告者在对群 CK的阶数 hK=|CK|叫做数域 K的理想类数进行描述时,完成了证明:hK= 1当且仅当环 OK中每个理想都是主理想,也当且仅当 OK具有唯一因子分解性质。”
“关于这一部分,请问报告者是如何得出来的?”
听到这位大牛的提问,刘嘉欣快速的将平铺在报告台上的证明论文,找到了拉兹洛·洛瓦兹教授所说的问题。
看着上面的公式,她快速的开口回道:“对于许多种类型的数域,对于给定的有限交换群 G,在判别式 DK 6 x的所有这类数域中,类群为 G的所占比例当x→+∞时存在极限α,并且它们给出非负实数α的计算值......”
“而在第二十三页证明公式中,我完成当 DK通过所有的素数时,所有 DK 6 x的实二次域当中类数为1的证明.....”
简洁而又清晰的话语从刘嘉欣口中快速道出,报告台下,拉兹洛·洛瓦兹目光中带着一丝若有所思的神色,随即转变成了赞许。
他笑着点了点头,道:“谢谢。”
拉兹洛·洛瓦兹的提问结束后,提问环节继续进行。
第二个站出来提问的同样是计算机数学领域的大牛,2006年奈望林纳奖得主。
《大正整数因子分解具备多项式算法》证明是P=NP?猜想的核心难题,对于数学界来说,它是千禧年难题的重要组成部分,是世界级的猜想,难度很大,但对于纯粹数学的发展而言,意义却算不上多大。
继续阅读,后面更精彩!
不过,对于计算机数学的发展来说,却可谓是巅峰级的存在。
犹如此前徐川完成的杨-米尔斯存在性问题一般,对于数学界而言,它只是一个极其难解的微分方程,抛开在这个过程中创造的工具和其他的收获来说,解开它能得到的是一个答案。
但对于物理学界来说,它却是支撑理论物理学再度往前走的重要基石,是完成大统一理论的必经之路。
因此,会场中,站起来提问的学者相当的多。
当然,并不是所有站起来提问的学者都是大牛,也都能提出精准而又有水平的问题。
比如某位来自爱丁堡大学的博士生,就提出了个丢脸丢到全世界的问题。
“请问在第四十七页中,近似算法的运行时间和近似保证之间的权衡,平方和层次结构可以适用于指数级时间的近似算法,n表示图的顶点数r可以是任何大于1的正实数(可能取决于n,这一问题报告者是如何得到这一证明的?”
这个问题一出,大礼堂内顿时就骚动了起来。
窸窸窣窣的交流声在宽敞无比的礼堂内交织着,不少人向这位站起来提问的博士