只要是站起来做提问,肯定是听懂了报告,否则问出的问题就会很可笑。
  马文钧仿佛就是个普通的学者,他很礼貌的说了起来,“你在论证有界系统的时候,采用一种对比分析法,这种方法非常的巧妙。但是用这种方法进行论证,无法证明针对所有的系统、所有体系都有效。”
  “比如,当系统足够复杂,分支足够多,多到很难想象的地步,就无法证明这个算法是有效的。”
  这是一个有界与无界的提问,也是适用范围的提问。
  王浩的论证是有界系统,也就是确定的系统情况下,有效与无关进位算法是有效的,但他的证明没有覆盖到‘无界系统’,也就是一些‘没有想象到’或者‘无限延伸’的系统,针对这类型的系统,算法也许就是无效的。
  换句话说,有效与无关进位算法的论证并不完善。
  如果是放在普通生活中,类似的疑问可以理解为‘没事找事’,平时都接触不到、想象不到,去论证还有什么意义?
  但是放在学术界,数学、理论计算领域,却是非常有意义的。
  一些数学问题都会牵扯‘无穷’的概念,有些定理必须要证明针对‘无穷大或无穷小’也一样通用。
  马文钧的提问非常有水准,甚至可以说直接问到了点子上。
  会场里的人不由得都看向讲台,想听听王浩具体怎么解释。
  若是他无法给出回答,或者是没有相关的论证,并不会影响有效与无关进位算法的应用,但针对学术成果、报告本身来说,肯定就下降了一个档次。
  ……
  王浩站在报告台上,思考着愣在了原地。
  其他人还认为他是被问住了。
  实际上,他不是因为提问愣住,而是马文钧提问后,大量的知识、想法、灵感,骤然间涌入到脑海里,随后收到了系统提示。
  【任务三,灵感值+4。】
  【灵感值:101。】
  【提示:可使用消耗一百点灵感值,辅助获取研发相关的灵感、知识的相互关联。】
  “使用!”
  在下达指令的瞬间,脑子里的知识灵感被梳理清晰,顿时出现了一条完整的脉络,之前研究的不解之处,顿时全部畅通无阻。
  王浩的表情从呆愣变成了抿嘴轻笑,笑容慢慢的占满整张脸。
  他仿佛就是从思考中顿悟了一般,眼神都有些亮的发光,一时间所有人都能看出,他肯定是想到了什么。
  在所有人的注视下,王浩看向了马文钧,满脸带笑的说道,“马文钧教授,谢谢你。你刚才的问题问的很有水平。”
  “你的提问,让我联系到另外一个研究,并且很受启发!”
  “我最开始是打算结合集合论和归纳法来证明无界问题,但现在,我认为另一种方式更好。”
  他说罢转过身,挥手让工作人员搬上了个新的白板。
  随后在上面写了起来。
  第八十三章 计算机会议上震撼的数学论证!
  一号报告厅内人山人海,却一片寂静。
  所有人都认真盯着报告台上那个对着白板不断撰写内容的年轻身影,他似乎连考虑都不用,就在白板上写上一条又一条的内容。
  他真的很年轻。
  年轻到比会场内正常来参会的人年纪都要小,包括那些被带的过来的博士生,绝大部分都要比他年纪大。
  此时此刻,他就是全场的焦点。
  每个人都不断的看过去,也有人在窃窃私语交谈,话题总是离不开台上的身影,“他在干什么?写什么?好像是在做论证。”
  “似乎是一个纯数学的论证?他刚才说‘很受启发’,难道是现场要做一个证明吗?”
  “是什么证明呢?有点看不懂啊。”
  第一排特邀评审嘉宾们也在讨论这个问题。
  皮特-舒尔兹坐在第一排偏右侧的位置,他左侧就是赫赫有名的图灵奖获得者姚智期,他在水木大学创办了著名的‘姚班’,工作了有十几个年头。
  现在年纪已经大了,但依旧在教育领域发光发热。
  这次来参加计算机会议,也是因为知道有一种全新的算法,对此非常的感兴趣,他跟着思路一直听到了最后,到现在也感到有些疲惫。
  他还是扭过头问向皮特-舒尔兹,“舒尔兹先生,刚才东港大学马教授的提问,应该没有问题吧?”
  姚智期稍稍有些不确定,以个人经验而言,感觉王浩的算法证明已经很完善,应该不会出现‘无界’无法证明的情况,但一时间也没有想到该怎么证明。
  他旁边坐着的就是年轻的菲尔兹得主,三十多岁的年纪,正处在科研的巅峰期,灵感活跃、精力充沛,世界上多数最顶级的研究,尤其是影响科学发展的研究,都是这个年龄段出现的。
  虽然王浩完成的是一种计算机算法研究,但过程逻辑夹杂了大量的数学概念,复杂的数学逻辑想弄懂并不容易,顶级的数学家才更容易理解。
  皮特-舒尔兹盯着正在撰写的白板,眼神动也不动一下,只是轻轻点头道,“他刚才已经说了,是用集合论和归纳法,这两种方法结合很容易证明出来。”
  “很容易?”
  姚智期用力的抿抿嘴,对此不予置评,一个问题的难易是相对而言的,对皮特-舒尔茨很容易的问题,对其他人而言,也许是一生无法跨越的鸿沟。
  皮特-舒尔兹只是简单的说了一句话,但他在会场毫无疑问的拥有权威,即便是几个图灵奖获得者也无法争锋。
  一则是因为王浩做的是理论算法论证,数学才是一切的基础。
  二则也是因为年纪。
  绝大部分图灵奖获得者,获奖凭借的都是两千年以前的成果,处在会场的三名图灵奖获得者都是如此,他们中最年轻的也超过六十五岁,其他两位都是七十多岁的老人。
  这个年纪的人思考能力、精力都会大幅下滑,已经无法和年轻人争锋,而皮特-舒尔兹又是那种超级天才,在没有获得菲尔兹之前,他就被认为是世界最聪明的人之一,也是菲尔兹获得者中,最众望所归的人之一。
  皮特-舒尔兹获得菲尔兹是非常有意思的。
  当年菲尔兹评选之前,有机构开出了候选者名单的赌注,九成五以上人都选择了皮特-舒尔兹,他获得菲尔兹可以说是众望所归,连一点悬念都没有。
  这种级别的天才到了学术会议上,牵扯到数学方面内容,自然是最有权威的人物。
  皮特-舒尔兹对于提问的评价,就被临近的人告诉了其他人。
  很快,整个会场都知道了。
  这个消息也让马文钧感到非常失望,他觉得自己找到了论证中的问题,不能完全推翻算法的证明,但也足以让算法的评价和影响力下降一个档次。
  可菲尔兹得主却肯定的说论证没有任何问题。
  这还有什么好说的?
  如果不是对王浩正在做什么证明感到好奇,马文钧都想不顾颜面的甩手离开会场。
  会场最边缘的记者们都知道了消息,他们不由得长呼一口气,他们肯定是希望证明没有问题的。
  如果王浩的认证报告顺利完成,能吸引全世界关注的新算法出现,肯定是个很劲爆的新闻。
  王浩还是一名纯正的国内学者,新闻报道的意义就更大了。
  记者们也开始打听起王浩究竟是在做什么证明,他们肯定是完全看不懂的,只是想了解一下,近而进行新闻思考方式的评估。
  那么,王浩究竟在证明什么呢?
  所有人都想知道这个问题,能看懂撰写在白板上内容的人有一些,但能跟上思路并了解到证明什么的,数量是极为稀少的。
  王浩撰写的速度太快了,他几乎是想都不想,就一直不停的写,都要比抄内容还要快。
  第一排几个图灵奖获得者都跟不上思路。
  他们倒是能看懂王浩写的内容,只是理解速度太慢,并不知道具体要证明什么。
  姚智期只是模糊的感觉是数论的内容。
  杰弗里-欣顿同样看的很迷茫,他就坐在姚智期的旁边,再往右侧就是孙女海伦。
  他清楚姚智期也肯定不知道,就干脆转过头问一下海伦,“你能看懂上面的内容吗?”
  “有些看不懂。”
  海伦很直白的回答,但还是认真盯着白板,眼神甚至散发着光,“但如果我没有猜错的话,应该和阿廷猜想有关。”
  “阿廷猜想?”
  这一个词顿时吸引了其他人注意,再仔细跟着看白板,顿时就发现确实和阿廷猜想有关。
  不少人都惊讶的看向海伦,他们都没有弄明白的内容,结果被一个小姑娘看了出来。
  小姑娘说是跟不上思路,但在数学方面肯定很有水平。
  这时,皮特-舒尔兹纠正道,“不是要证明阿廷猜想,他是在论证阿廷常数。”
  后排顿时有人迷惑了,“论证阿廷常数和证明阿廷猜想不是一个意思吗?”
  “不一定。”
  “如果只是论证阿廷常数,这个常数万一是错的呢?”
  “也有道理啊……”
  好多人都非常的震撼。
  有了皮特-舒尔兹的简单解释,其他人都有所了解,再看上白板要理解就容易了一些。
  最少他们知道王浩正在论证的是什么内容。
  但是,绝大部分人还是只能看着,他们的理解速度,根本不可能跟上王浩撰写的速度,想跟上思路去理解,根本就是天方夜谭。
  或许也因为是计算机会议,好多学者的研发领域都是计算机应用,和纯数学、解析数论的研究,根本就是两个不相关的领域。
  左右两侧的评审组成员们也是一样。
  他们也都认真看着王浩在撰写证明过程,即便知道王浩是在论到阿廷常数,想跟上思路去理解,也根本是不可能做到的。
  还好现场有几个数学大佬,即便是跟不上思路,慢慢的看懂证明也是能做到的。
  现场唯一能跟上撰写速度进行理解的就只有皮特-舒尔兹,他非常认真的盯着白板上一行行的内容,从最开始到现在眼神都没有动过。
  然后,他越看就越惊讶,表情都已经写在了脸上。
  王浩一口气完成了证明,中途还换了三个白板,四个白板被工作人员列在报告台上,从左到右排成一整排。
  他终于完成了最后一步证明,随后用手抓住了笔,脸上露出一股由内而生的笑意。