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