学大牛，拉兹洛·洛瓦兹。

这位大牛研究的是理论计算机科学和离散数学，曾于2007年-2010年担任过国际数学联盟主xi一职。

虽然他没拿到过菲尔兹奖，但沃尔夫奖、高德纳奖、哥德尔奖、京都奖这些顶级的数学奖和计算机将他都拿了个遍。

可以说在计算机科学和数学交织的学科，是说一不二的真大佬。

这位大牛站起身后，看了一眼报告台上，又低眼看了下手中的笔记本，用平铺直叙的语气开口道：

“在报告论文的第二十三页，我有注意到报告者在对群 c(k)的阶数 h(k)=|c(k)|叫做数域 k的理想类数进行描述时，完成了证明：h(k)= 1当且仅当环 ok中每个理想都是主理想，也当且仅当 ok具有唯一因子分解性质。”

“关于这一部分，请问报告者是如何得出来的？”

听到这位大牛的提问，刘嘉欣快速的将平铺在报告台上的证明论文，找到了拉兹洛·洛瓦兹教授所说的问题。

看着上面的公式，她快速的开口回道：“对于许多种类型的数域，对于给定的有限交换群 g，在判别式 d(k) 6 x的所有这类数域中，类群为 g的所占比例当x→+∞时存在极限α，并且它们给出非负实数α的计算值.”

“而在第二十三页证明公式中，我完成当 d(k)通过所有的素数时，所有 d(k) 6 x的实二次域当中类数为1的证明.”

简洁而又清晰的话语从刘嘉欣口中快速道出，报告台下，拉兹洛·洛瓦兹目光中带着一丝若有所思的神色，随即转变成了赞许。

他笑着点了点头，道：“谢谢。”

拉兹洛·洛瓦兹的提问结束后，提问环节继续进行。

第二个站出来提问的同样是计算机数学领域的大牛，2006年奈望林纳奖得主。

《大正整数因子分解具备多项式算法》证明是p=np？猜想的核心难题，对于数学界来说，它是千禧年难题的重要组成部分，是世界级的猜想，难度很大，但对于纯粹数学的发展而言，意义却算不上多大。

不过，对于计算机数学的发展来说，却可谓是巅峰级的存在。

犹如此前徐川完成的杨-米尔斯存在性问题一般，对于数学界而言，它只是一个极其难解的微分方程，抛开在这个过程中创造的工具和其他的收获来说，解开它能得到的是一个答案。

但对于物理学界来说，它却是支撑理论物理学再度往前走的重要基石，是完成大统一理论的必经

本章未完，请点击下一页继续阅读！ 第4页 / 共5页