学霸的黑科技系统-第41部分

快捷操作: 按键盘上方向键 ← 或 → 可快速上下翻页 按键盘上的 Enter 键可回到本书目录页 按键盘上方向键 ↑ 可回到本页顶部! 如果本书没有阅读完，想下次继续接着阅读，可使用上方 "收藏到我的浏览器" 功能 和 "加入书签" 功能！


了。

　　　　然而刚一出门，他又被一个人给拦住了。

　　　　这个人不是别人，正是刚才开讲座的任教授。

　　　　从那位老先生脸上的笑容来看，他应该在阶梯教室的门口等了他一会儿。

　　　　“呵呵，小伙子，咱们又见面了。”

　　　　陆舟：？？？

　　　　我们见过？

　　　　好像确实在哪里见过……

　　　　没等陆舟反应过来，这位任老先生又继续开口了。

　　　　“小伙子，有没有兴趣往火箭上发展？”

　　　　刚还在思考着孪生素数的问题的陆舟，便被这突如其来的问题给吓了一跳。

　　　　尼玛，这是让自己去当宇航员？

　　　　这哪能行啊！

　　　　陆舟尴尬一笑：“呃，教授，我还不想上天。”

第七十四章　关于系统的秘密（）　
“又不是让你去坐火箭，”任长明差点被自己的吐沫给呛到，干咳了几声，“我是问你，有没有兴趣往航天研究领域发展。”

　　　　一听到航天这个词，陆舟总算是想起来了。

　　　　这位老先生，不正是他在数学建模大赛专家面试评委席上看到的那位吗？

　　　　任长明教授……

　　　　前华国探月工程总设计师！

　　　　不过……

　　　　您不是都退休了吗？

　　　　见陆舟愣在那里不说话，任教授笑了笑，以为他在认真考虑这件事，便慢悠悠地继续开口说道：“你的数学建模论文，是我看了好几遍。能在如此短时间里，完成如此高质量的建模，实属不容易。”

　　　　“我听说你虽然是应数专业，但对纯数领域也有不小的研究，前段时间还就泛函领域的研究写了篇论文。咱们国家的航空航天领域，需要的正是那种能够将理论用于实践的人才，”说到这，任长明笑了笑，语重心长道，“怎么样，小伙子，有没有兴趣去燕大读研？燕大的力学与空天技术系，在国内还是相当有名气的！”

　　　　面对着抛来的橄榄枝，陆舟终于回过神来。

　　　　脑子里组织了下语言，他委婉拒绝道：“抱歉，任教授，我对航天不是特别了解。说穿了，数学建模只是将复杂的质点运动问题转化成数学问题，并不涉及到什么深奥的知识，否则我也不可能侥幸拿到这个高教社杯。真让我去往这方面发展，不一定适合我。”

　　　　这怎么能答应。

　　　　不是对航天技术不感兴趣，而是这个领域的水实在是太深了。以他现在的物理学、数学、工程学等级，恐怕连河里的石头在哪都摸不到，更别提摸着石头过河。

　　　　就算要往天上发展，那也得等他把材料学、生化学、工程学全都点到lv5以上再说吧？

　　　　现在进入这个领域，连打杂都难。

　　　　“呵，学习是干什么用的？不就把不会的东西给弄懂么！你要是都会了还学个什么，送去航天局上班得了，”任教授笑着说道，“你现在还年轻，适不适合不是你说了算的，我敢打赌，你肯用心去钻研，以后的前途不可限量啊。”

　　　　陆舟正不知道该如何拒绝。

　　　　就在这时，一声洪亮的嗓音，从不远处传来。

　　　　“任老头，你这老家伙不老实啊，都退休了还从上京跑到金陵这边挖墙脚。”

　　　　陆舟顺着那声音的方向看去，只见唐教授正向这边走来。

　　　　“你这话说的，什么叫挖墙脚？我这也是为了咱们国家的航天事业着想，不能耽误了人才！”被说是挖墙脚，任长明老脸顿时挂不住了，二话不说怼了回去。

　　　　“呵，怎么就耽误了人才？学数学耽误了？还是咱金大耽误了？”老唐不乐意了，“你们燕大这么流弊，咋不自己上天呢？”

　　　　月球探索这种庞大的系统性研发工程，不是哪一个大学就能单独承担下来的。

　　　　光是处理嫦娥三号从月球上采回来的那些数据，就集合了燕大、金大、鲁大、澳科大等等高等学府的科研团队才完成，更不要说把嫦娥三号送上去了。

　　　　金陵大学虽然数学院比其它几个985弱了点，但物理院可是全国顶尖的。

　　　　至少。在金大教授的心目中是如此！

　　　　看着两个杠上的老教授，陆舟心中哭笑不得。

　　　　趁他们都没注意到自己，他小声说了句老师再见，然后便混进从阶梯教室中陆续涌出的人群，脚底抹油溜了。

　　　　……

　　　　去食堂吃过午饭，来到图书馆。

　　　　陆舟随便找了个角落坐下，翻开听讲座时抄的笔记。

　　　　这位任教授虽然是搞航天的，但从那讲座的水平还是能看得出来，他在数学这一领域也有着颇为深入的研究。

　　　　尤其是在数论这一领域。

　　　　正如他所讲的那样，张先生给孪生素数猜想证明开了一个真正的“头”，其意义就相当于挪威的布朗先生之于哥德巴赫猜想的“9＋9”证明一样，为全世界的数论研究者提供了一个有迹可循的证明思路。

　　　　而根据张先生的这条证明思路，全球数学家对孪生素数无限性的研究，截止到目前已经推进到了246这个数字，距离到达2这个终点似乎并不遥远。

　　　　关键只在于lambda函数的选取……

　　　　然而真的是这样的吗？

　　　　陆舟总感觉没这么简单。

　　　　那冥冥之中的灵感，总是差那么一点……

　　　　“难道是因为数学等级的原因？”

　　　　陆舟心中忽然冒出了这个想法。

　　　　数学等级真的只是解锁系统的数据库而已吗？

　　　　他突然想起来，上一次任务，系统要求他在不求助于系统的情况下，独立完成数学建模大赛，夺得国一奖。

　　　　事实上，他不但拿到了国一，甚至拿到了象征着全国第一的高教社杯。

　　　　仅凭几个月前的自己，能做到一点吗？

　　　　这时，陆舟忽然想起来，更遥远的事情。

　　　　在将数学等级升到lv1之前，他刚刚得到周氏猜想证明法的【图纸】的时候，当时的他也试着将那证明过程从头到尾看了一遍，却根本没有产生那什么“冥冥之中的灵感”。

　　　　“也就是说，主干学科等级提升的，不仅仅是查阅系统数据库资料的‘权限’那么简单，还能提升对某一特定学科的研究能力？缩短研究时间？”陆舟在心中思忖道。

　　　　他是相信天赋论的。

　　　　也许在工科领域体现的可能不是特别明显，但对于数学、物理这些纯理论学科而言，越是往深入的领域研究，便越是能够感受到，那名为“瓶颈”的制约。

　　　　一个很典型的例子，困扰数学界上百年的问题，对于高斯而言，也就是一个晚上的功夫。如果设普通数学家的数学等级是lvn的话，那高斯的等级大概就是lv（n＋1）甚至是lv（n＋1）以上。

　　　　陆舟推测，这种等级上的差距，应该与单纯的知识量没有任何关系，而是更贴近于“研发能力”这种抽象的概念。

　　　　比如，根据系统的宏观分析推测，数学等级lv1的自己，想要独立钻研出这个孪生素数的证明法，正常情况下可能需要数十年乃至上百年的时间。而到了数学等级lv2，或许这个时间就会缩短成几十年到十几年，再到lv就是十几年到几年……

　　　　也许，当他数学等级提升到lv2或者是更高等级的时候，应该就能抓住那一瞬间的“灵感”，体会到那种思如泉涌的感觉了。

　　　　如果这一猜想猜想成立，那么主干学科的等级，应该不只是与系统的数据库权限挂钩，还与他在某一学科领域的研发能力挂钩。而这个研发能力，决定这他在正常情况下，完成某一研究课题所需要付出的时间成本……

　　　　陆舟忽然发现。

　　　　虽然他没能顺藤摸瓜地解决掉孪生素数无限性的问题，却推导出了更加不得了的东西。

　　　　关于这个系统的秘密……

第七十五章　调教人工智能的正确姿势是？（）　
傍晚。

　　　　回到寝室，陆舟打开笔记本，正准备登陆教务处官网，忽然注意到右下角的qq弹窗，顿时愣了下。

　　　　他不记得给自己小号发消息了啊？

　　　　为了与小艾保持联系，他一般都会将那个新注册的小号挂在电脑上。

　　　　“见鬼了……”

　　　　嘀咕了一声，陆舟点开了弹窗，发现竟然是群消息。

　　　　【历史信息：初恋如雪邀请您加入数模社总群……同意。】

　　　　陆舟：？？？

　　　　一瞬间，他便意识到发生了什么。

　　　　mmp！

　　　　出bug了。

　　　　陆舟二话不说用开发工具打开了那个连接qq和小艾的小程序，很快从那一行行代码中发现了问题所在。

　　　　虽然他定义了只接受特定账号的对话消息，但对“添加好友”、“邀请入群”这些验证信息处理的代码，却出现了逻辑上的bug，导致任何挂在电脑上的qq，收到的任何系统信息都会默认选择同意。

　　　　陆舟这时才想起来，给那个大一学妹留qq号的时候，自己好像一不留神，把小号给抄上去了。

　　　　这就很难受了……

　　　　点开群，陆舟越过99＋的信息，直接拉到了最上面。

　　　　咸粽：【欢迎新人。】

　　　　初初：【新来的陆学长可是数学建模的全国总冠军哦，大家欢迎下~】

　　　　咸粽：【我的天，初初竟然把这尊大神拉进来了！】

　　　　dada：【给大神跪了。】

　　　　常青：【给大佬递茶，明年还战数模吗？还缺战友吗？】

　　　　刻度：【大神好像有些不爱水群？】

　　　　dada：【大神都比较高冷的，很正常！让我等咸鱼膜拜就好了……】

　　　　【……】

　　　　话题很快带偏了。

　　　　这好像不是学校组织的数模竞赛群，而是金大数学建模社团的交流群。

　　　　粗略的扫了眼历史消息，根本没人在群里讨论数学问题，基本上都是在水群。

　　　　陆舟哭笑不得地看着这些逗比们聊天，正准备把群给退了，然后去把那个小程序的bug给修复了。然而就在这时候，他眼角的余光忽然注意到了右下角的进度条。

　　　　然后。

　　　　他愣住了。

　　　　进度条……

　　　　竟然涨满了？！

　　　　不，准确的来说，还差那么半毫米的样子。

　　　　一不留神，群消息又是一个99＋

　　　　也就是在这时候，进度条忽然以肉眼可以看见的速度，往前蹭了一下。

　　　　进度条涨满，陆舟咽了口吐沫，挪动鼠标点击后面的确认按钮。

　　　　一瞬间，两行系统提示文字，直接弹出在他的视域中。

　　　　【恭喜宿主，人工智能（分支科技）经验＋100】

　　　　【信息学经验＋100】

　　　　陆舟：？？？

　　　　进度条蓄满增加分枝科技经验他能理解，后面跟着冒出来的信息学经验是什么鬼？

　　　　提升分支科技经验，还能连带着提升主干科技经验的吗？

　　　　陆舟分明还记得，当初用积分将人工智能从lv0升到lv1的时候，是没有什么主干学科经验奖励的。

　　　　“难道……是因为当时是消耗积分快速升级的缘故？”陆舟在心中思忖。

　　　　“也就是说，分支科技相当于一种支线任务一样的东西，通过常规手段获取分支科技经验，可以提升相关主干学科的经验？而使用积分直接将分支科技升级，则无法获得主干学科经验……”

　　　　分支科技与主干学科的经验上限不同，将人工智能从lv1（100/1000）升级到lv2，还剩下900分支科技经验，也就是说，得让进度条填填满九次。

　　　　理论上，如果不使用积分提升分支科技等级，他还能从中获得900信息学经验。

　　　　想到这里，陆舟眼中不由生出一抹惊喜。

　　　　没想到除了主线任务之外，还存在着这种“支线任务”可以提升主干学科的经验。

　　　　可忽然间，他又意识到另一个问题。

　　　　他设计的那个第三方小程序，本质上是将qq消息复制黏贴到小艾的对话框中。然而群消息并不在那个小程序的捕捉之内，也就是说……

　　　　即便不通过那个第三方小程序，小艾也能“看到”，这些出现在电脑上的讯息？

　　　　是直接读取文件，还是截取网络传输的流量？

　　　　细思恐极……

　　　　不过想想也是，身为人工智能，连自己安家的窝都搞不定，未免也太弱鸡了点。可任由它这么发展下去，会不会有一天，等这家伙翅膀长硬了，脱离自己的控制？

　　　　陆舟越想越觉得有这可能。

　　　　看来必须得抽个时间把ee的核心代码检查下了……

　　　　就在他刚准备这么做的时候，一个电话忽然打他手机上。

　　　　陆舟拿出手机一看，是老唐打来的。

　　　　还没等他问是什么事儿，对面便先一步开口了。

　　　　“……来一趟我办公室！”

　　　　……

　　　　羊城，逸仙大学，教学楼外。

　　　　下课铃声响起，一位戴着眼镜的老人，从教室里走出来。

　　　　就在他正准备返回办公室，恰好看见，数院的常主任拿着一份期刊，满面红光地向教室走来。

　　　　“周教授，恭喜你啊。”一见面，常文兴便兴高采烈地握住了周海中教授的手，一个劲儿地晃着，“恭喜恭喜！”

　　　　被晃的一脸懵逼，周海中教授一头雾水地看着常主任。

　　　　“……常主任，你是不是……把什么事搞错了？无缘无故干嘛恭喜我。”

　　　　常主任愣了下，问：“你没看最新一期的《数学纪事》？”

　　　　“很久没留意了，我最近没关注数学方面的事。”周海中摇头道。

　　　　虽然因为周氏猜测让他在国际数学界广负盛名，并且拿到了国院颁发的特殊津贴，但事实上语言学才是他的本职工作，对数论的研究不过是他在研究信息科学时发展的业余爱好。

　　　　从80年至今，他发表的一百多篇论文，其中一多半都是关于语言学、信息科学以及新兴交叉学科等等。尤其是其对模糊数理语言学研究的系列论文，更是受到学术界广泛关注，其学术价值并不逊色与周氏猜想。

　　　　至于数论……

　　　　说实话，他已经有段时间没有把精力放在上面仔细研究过了。

　　　　常主任没说什么，一把将手中的期刊塞到了他的手上，笑着说：“那这份你拿回去看，从第三十页开始，到三十四页。看完了，你就知道我为什么恭喜你了！”

　　　　揣着满肚子疑问，周海中教授拿着期刊回到了办公室。

　　　　将提包顺手搁在了办公桌上，靠在办公椅上的他，带着疑问翻开了《数学纪事》的三十页。

　　　　当看到论文标题的瞬间，他整个人都愣住了。

　　　　《关于梅森素数分布规律的讨论以及周氏猜测的证明》

　　　　【摘要：本文针对梅森素数分布规律进行研究，证明了2^（2^n）＜p＜2^（2^（n＋1））时，mp有2^（n＋1）…1个是素数成立。并以此为论据，证明了当p＜2^（2^（n＋1））时，mp有2^（n＋2）…n…2个是素数这一推论成立……】

　　　　猛地从办公椅上坐起，他迅速拉开抽屉，从里面翻出了草稿纸和笔，对照着期刊上给出的证明步骤，演算了起来。

　　　　时间一分一秒过去，他的眼中凝重愈发明显。

　　　　正确…

　　　　正确……

　　　　完全正确！！！

　　　　原来还可以这样？！

　　　　越是往下看去，周海中的心中便越是震撼，甚至忍不住，在心中为那精妙绝伦的证明过程而喝彩。

　　　　身为猜想的提出者，这个困扰了数学界二十年的问题，也整整困扰着他将近二十余年。

　　　　即便很久不再从事数论方面的研究，即便一门心思扑在语言学和教育事业上，那个未能解决的猜想，也如同诅咒一样缠绕着他，令他无法停止对这个问题