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