是他亲自挖掘出来的人才,他就是伯乐!这种养成系的成就,带给了他另一种不亚于解决一个世界难题的愉悦。
半个小时过去了,报告会逐渐进入尾声,然而台上的刘嘉欣却是不敢有丝毫的松懈。
因为接下来的提问环节,才是整场报告会的核心部分。
首先站起来进行提问的,是来自匈牙利着名的数学大牛,拉兹洛·洛瓦兹。
这位大牛研究的是理论计算机科学和离散数学,曾于2007年-2010年担任过国际数学联盟主xi一职。
虽然他没拿到过菲尔兹奖,但沃尔夫奖、高德纳奖、哥德尔奖、京都奖这些顶级的数学奖和计算机将他都拿了个遍。
可以说在计算机科学和数学交织的学科,是说一不二的真大佬。
这位大牛站起身后,看了一眼报告台上,又低眼看了下手中的笔记本,用平铺直叙的语气开口道:
「在报告论文的第二十三页,我有注意到报告者在对群c(K)的阶数h(K)=|c(K)|叫做数域K的理想类数进行描述时,完成了证明:h(K)=1当且仅当环oK中每个理想都是主理想,也当且仅当oK具有唯一因子分解性质。」
「关于这一部分,请问报告者是如何得出来的?」
听到这位大牛的提问,刘嘉欣快速的将平铺在报告台上的证明论文,找到了拉兹洛·洛瓦兹教授所说的问题。
看着上面的公式,她快速的开口回道:「对于许多种类型的数域,对于给定的有限交换群G,在判别式d(K)6x的所有这类数域中,类群为G的所占比例当x→+∞时存在极限a,并且它们给出非负实数a的计算值......」
「而在第二十三页证明公式中,我完成当d(K)通过所有的素数时,所有d(K)6x的实二次域当中类数为1的证明.....」
简洁而又清晰的话语从刘嘉欣口中快速道出,报告台下,拉兹洛·洛瓦兹目光中带着一丝若有所思的神色,随即转变成了赞许。
他笑着点了点头,道:「谢谢。」
拉兹洛·洛瓦兹的提问结束后,提问环节继续进行。
第二个站出来提问的同样是计算机数学领域的大牛,2006年奈望林纳奖得主。
《大正整数因子分解具备多项式算法》证明是p=Np?猜想的核心难题,对于数学界来说,它是千禧年难题的重要组成部分,是世界级的猜想,难度很大,但对于纯粹数学的发展而言
本章未完,请点击下一页继续阅读!