第一百三十七章 杂志上的角谷猜想证明 (第2/2页)
　　
　　学习是主旋律。
　　
　　赵奕每天都坚持背诵古诗词，也不断地做阅读理解等题目，题做多了就能找到方法，同时，也跟着老师讲课的节目，慢慢的复习着生物、化学内容，每一个实验都要摸透、摸熟，争取能掌握所有知识点。
　　
　　他有目标就是，期末考入省里前十。
　　
　　这并不难。
　　
　　现在赵奕对成绩有一定把握了，只要语文再提升一点，化学、生物复习的好一些，成绩肯定能有提升，只要能稳定提升个十分，就足以争夺省内排名了。
　　
　　在学习生活的中途，赵奕也投入到自己的兴趣爱好中，他对实验机器人非常感兴趣。
　　
　　他开始设计机器人的程序代码。
　　
　　其实机器人的智能限制，不仅仅是内部的代码、算法，硬件设施也是很重要的，就比如图像的分辨能力、感应器功效、音效处理器等等，各个部件的功效，直接决定机器人的智能上限。
　　
　　当然了。
　　
　　硬件方面是没有办法的。
　　
　　赵奕只能从软件出手去改造，他把从宙宇互动、智能与自动化实验室拷贝的程序功能代码，全部都糅合在了一起，让程序的效果能在机器人上得以体现。
　　
　　机器人已经拥有简单功能了。
　　
　　现在的机器人能做到识别非常简单的语音，并且能把特殊的语音转化为指令效果。
　　
　　比如，抬起左手、右手。
　　
　　向前走、停止、向后走、转圈。
　　
　　放音乐，主机搜索、阅读。
　　
　　等等。
　　
　　这些小指令的语音执行，放在十几年后不算什么，但放在现在已经很超前了。
　　
　　赵奕则在设计程序代码，来让机器人拥有更多的自主能力。
　　
　　首先，就是走路。
　　
　　自动寻路、避障功能听起来并不困难，但一台硬件设施偏差的半人型机器人，实现自动避障走到指定地点，还是非常复杂的一件事情。
　　
　　赵奕最开始是利用感应器触碰，也就是机器人撞到障碍物以后，再去横向走动以避开障碍物，他很快发现并不实际，因为感应器并不灵敏，机器人也很怕撞击，他还是只能寻求复杂的方法--
　　
　　图像分析！
　　
　　这个方法牵扯到复杂的计算机图形学，赵奕对图形学算不上了解，他咨询了智能与自动化实验室的许超。
　　
　　许超只是苦笑道，“我们的研究只能让智能分辨出颜色，想利用摄像头画面，去确定避障……我只能给你一些相关的参考书。”
　　
　　“你还是自己慢慢研究吧……”
　　
　　然后赵奕收到了一大堆的参考书，其中还有一些研究资料。
　　
　　虽然研究资料是公开的，但市场上可没有售卖，有些内容想找也是找不到的，他还是很感谢许超的，接下来他的兴趣爱好，就变成了研究计算机图形学。
　　
　　最终目标是真正让机器人，实现像是人眼一样，准确分辨什么是障碍物、什么是可以走的路。
　　
　　……
　　
　　时间过的很快。
　　
　　一月来了。
　　
　　新泽西州，普林斯顿市。
　　
　　普林斯顿大学的匈牙利籍教授乌鲁兹，正在给学生们上一堂数学科普课，他正讲到数论未被证明的数学猜想。
　　
　　乌鲁兹的讲课很有个人特点，他把‘费马大定理’也列为猜想之一，因为他对安德鲁-怀尔斯的证明过程不屑一顾。
　　
　　他对学生们说，“如果要选出过去二十年最大的骗子，我肯定要投给安德鲁-怀尔斯，他靠欺诈的手段拿到了菲尔茨！”
　　
　　台下学生们都笑了。
　　
　　不少数学家对安德鲁-怀尔斯对费马猜想的证明过程存在异议，很明确的一点是，他的证明过程中引用了伽罗华理论，而伽罗华理论是一个相互矛盾的伪理论。
　　
　　乌鲁兹也是这么看的，他说了怀尔斯的证明过程，最后得出了结论，“所以，不管外面怎么说，我认为费马猜想依旧是费马猜想，哪怕他凭此拿走了菲尔茨和一百万美元！”
　　
　　接下来乌鲁兹讲解其他数学猜想，其中有一个就是冰雹（角谷）猜想。
　　
　　“这个猜想是很还意思的。”
　　
　　乌鲁兹笑道，“它有意思的地方，不在于题目和难度，而是每一年都有人，宣称证明了冰雹猜想，甚至有些研究生，都敢提交证明冰雹猜想的论文，但是到目前为止，还没有被公认严谨的证明过程。”
　　
　　当乌鲁兹说完这句话后，看到台下忽然有学生高高举起了手。
　　
　　他点名问道，“乔迪？”
　　
　　乔迪-威廉森手里拿了个厚厚的杂志，站起来说道，“乌鲁兹教授，你大概还没有看新一期的《数学学会杂志》？”
　　
　　“怎么？”乌鲁兹皱了下眉头。
　　
　　威廉森解释道，“这是最新的一期，第十七页之后都是冰雹猜想的证明。”
　　
　　他说完还打趣道，“《数学学会杂志》的论文，证明过程总不会不严谨吧？”
　　
　　乌鲁兹愣住了。
　　
　　他快步走到威廉森桌前，拿起那份最新的杂志，马上翻到第十七页，仔细的看了起来。1603355759