第一百三十七章 杂志上的角谷猜想证明(2 / 2)

学习是主旋律。

赵奕每天都坚持背诵古诗词,也不断地做阅读理解等题目,题做多了就能找到方法,同时,也跟着老师讲课的节目,慢慢的复习着生物、化学内容,每一个实验都要摸透、摸熟,争取能掌握所有知识点。

他有目标就是,期末考入省里前十。

这并不难。

现在赵奕对成绩有一定把握了,只要语文再提升一点,化学、生物复习的好一些,成绩肯定能有提升,只要能稳定提升个十分,就足以争夺省内排名了。

在学习生活的中途,赵奕也投入到自己的兴趣爱好中,他对实验机器人非常感兴趣。

他开始设计机器人的程序代码。

其实机器人的智能限制,不仅仅是内部的代码、算法,硬件设施也是很重要的,就比如图像的分辨能力、感应器功效、音效处理器等等,各个部件的功效,直接决定机器人的智能上限。

当然了。

硬件方面是没有办法的。

赵奕只能从软件出手去改造,他把从宙宇互动、智能与自动化实验室拷贝的程序功能代码,全部都糅合在了一起,让程序的效果能在机器人上得以体现。

机器人已经拥有简单功能了。

现在的机器人能做到识别非常简单的语音,并且能把特殊的语音转化为指令效果。

比如,抬起左手、右手。

向前走、停止、向后走、转圈。

放音乐,主机搜索、阅读。

等等。

这些小指令的语音执行,放在十几年后不算什么,但放在现在已经很超前了。

赵奕则在设计程序代码,来让机器人拥有更多的自主能力。

首先,就是走路。

自动寻路、避障功能听起来并不困难,但一台硬件设施偏差的半人型机器人,实现自动避障走到指定地点,还是非常复杂的一件事情。

赵奕最开始是利用感应器触碰,也就是机器人撞到障碍物以后,再去横向走动以避开障碍物,他很快发现并不实际,因为感应器并不灵敏,机器人也很怕撞击,他还是只能寻求复杂的方法--

图像分析!

这个方法牵扯到复杂的计算机图形学,赵奕对图形学算不上了解,他咨询了智能与自动化实验室的许超。

许超只是苦笑道,“我们的研究只能让智能分辨出颜色,想利用摄像头画面,去确定避障……我只能给你一些相关的参考书。”

“你还是自己慢慢研究吧……”

然后赵奕收到了一大堆的参考书,其中还有一些研究资料。

虽然研究资料是公开的,但市场上可没有售卖,有些内容想找也是找不到的,他还是很感谢许超的,接下来他的兴趣爱好,就变成了研究计算机图形学。

最终目标是真正让机器人,实现像是人眼一样,准确分辨什么是障碍物、什么是可以走的路。

……

时间过的很快。

没钱看小说?送你现金or点币,限时1天领取!关注公·众·号书友大本营免费领!

一月来了。

新泽西州,普林斯顿市。

普林斯顿大学的匈牙利籍教授乌鲁兹,正在给学生们上一堂数学科普课,他正讲到数论未被证明的数学猜想。

乌鲁兹的讲课很有个人特点,他把‘费马大定理’也列为猜想之一,因为他对安德鲁-怀尔斯的证明过程不屑一顾。

他对学生们说,“如果要选出过去二十年最大的骗子,我肯定要投给安德鲁-怀尔斯,他靠欺诈的手段拿到了菲尔茨!”

台下学生们都笑了。

不少数学家对安德鲁-怀尔斯对费马猜想的证明过程存在异议,很明确的一点是,他的证明过程中引用了伽罗华理论,而伽罗华理论是一个相互矛盾的伪理论。

乌鲁兹也是这么看的,他说了怀尔斯的证明过程,最后得出了结论,“所以,不管外面怎么说,我认为费马猜想依旧是费马猜想,哪怕他凭此拿走了菲尔茨和一百万美元!”

接下来乌鲁兹讲解其他数学猜想,其中有一个就是冰雹(角谷)猜想。

“这个猜想是很还意思的。”

乌鲁兹笑道,“它有意思的地方,不在于题目和难度,而是每一年都有人,宣称证明了冰雹猜想,甚至有些研究生,都敢提交证明冰雹猜想的论文,但是到目前为止,还没有被公认严谨的证明过程。”

当乌鲁兹说完这句话后,看到台下忽然有学生高高举起了手。

他点名问道,“乔迪?”

乔迪-威廉森手里拿了个厚厚的杂志,站起来说道,“乌鲁兹教授,你大概还没有看新一期的《数学学会杂志》?”

“怎么?”乌鲁兹皱了下眉头。

威廉森解释道,“这是最新的一期,第十七页之后都是冰雹猜想的证明。”

他说完还打趣道,“《数学学会杂志》的论文,证明过程总不会不严谨吧?”

乌鲁兹愣住了。

他快步走到威廉森桌前,拿起那份最新的杂志,马上翻到第十七页,仔细的看了起来。