从大学讲师到首席院士 第86节

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