困扰了李教授许久的难题,也是多年来困扰着科学界的难题,尤其是数学界和计算机界。
那就是赫赫有名的灵敏度猜想,或者说得更加准确些是布尔函数灵敏度猜想。
灵敏度是一种衡量布尔函数复杂度的方法,它被定义为导致布尔函数翻转的最大比特数,通过捕获输入字符串中的信息来影响输出位的改变。
换句话说,布尔函数的“灵敏度”跟踪翻转单个输入位改变输出位的可能性。
早在1990年,便有科学家曾经推测表示,“灵敏度”同样是适合统一框架的,但没有人能证明这一点,这也成为了布尔函数研究中一个悬而未决的问题。
在过去的许多年中,该猜想难倒了许多优秀的计算机科学家和数学家。
能解决灵敏度猜想,就意味着计算机技术的发展距离人工智能更近一步。
而现在,李教授把这个猜想搬出来,试试看是否真的有学生能证明灵敏度猜想。
随着李教授这个猜想在院里面公布,引起了师生的震惊。
院长都开始关注过问这个事情。
本来院长也是要问一下的,但是一想,历史上也确有学生不知道问题的难易程度,结果证明了之后才知道难题是历史级别的先例。
院长还是想看看情况再过问一下具体情况,毕竟他也是很好奇是不是真的有如此天才的学生。
早之前推导出来的那个证明已经很让人不可思议了,现在还是顺其自然地看看后面的情况再做打算,院长想道。
至于学生们嘛,毕竟不是之前信息闭塞的时代了,都有普及了手机和计算机的时代了,一看到这个布尔函数敏感度猜想就当场劝退了。
看到这个黑板都是摇着头匆匆走过,更不要说试图去求证这个猜想。
自己解答不出来,那肯定一个不是本专业的肖恩自然也是解答不出来的,大多数数学系的学子想道。
以数学社社会社长为代表的人物立下的誓言也是层出不穷,各种直播吃什么的都有。
然而,在4天后,一篇仅有3页的论文悄悄登上了蓝星最出名的数学杂志上,署名是肖恩,随之而来的是学界的轰动。
一个人的著作署名,二十出头的年轻人,前所未见!
当时数学杂志的主编看到这个投稿的时候还一度以为是废稿,直到自己试算验证了一下,才知道这个事情不简单。
认证求证各个著名大学的数学和计算机方面的教授之后才确定这个证明是正确的,顺利刊发出来。
肖恩使用了交错定理的数学原理,将矩阵的特征值与子矩阵的特征值联系起来,成功使其成为研究立方体与立方体之间关系的完美工具。
通过改变他的矩阵中某些数字的符号来推动这种方法的完成。
通过这种方式,他能够证明在n维立方体中超过一半点的任何集合中,将存在某些与其他点相关的点,灵敏度猜想也从这个结果中被证明。
学界大佬,哥大教授詹姆士看了证明激动表示:“它充实了我们的工具库,让我们可以试图回答布尔函数分析中的其他问题”。
同时哥大教授还不忘了发出橄榄枝,开出各种诱人的条件,想把肖恩招揽到自己名下继续读研读博。
哈大泰斗表示:“在这一证明推出以后,我想很多人终于是能睡得着觉了。”
这是历史性的突破!
从此,计算机和数学的工具库又增加了一个。
宿舍内,一帮人谈论着院里李教授出的那道题目,讨论的主题不再是如何证明猜想,因为发现是徒劳。
没那个能力啊!
于是讨论的重点开始转移到了邱雅身上。
“哎哎,社长,你女神好像对那个外来和尚有点那个意思,你怎么看?”
“笑话,就那个,小白脸?”
“他要是能证明这个猜想,打死我都不信。就一个门外汉,不好好在航空学院待着,跑我们数学系来显摆什么好学,自学都不会,有空我教教你。”
刘霖说得愤愤然。
“就是”。
“就是”。
其他人纷纷附和道。
就这样,这些人在无知和自负之中度过了一个美好的夜晚。
教室里面突然出现了很多大佬,着实把这些来上课的同学吓到了。
连平时几乎看不到人的院长,此刻都出现在了教室内和教授谈论着什么。
数院有头有脸的人物悉数出现在教室里面。
同学们心里面打起嘀咕。
还没到论文答辩的时候啊,这么大的阵仗是要干嘛?
可是论文答辩也只是普通老师或者教授进行就可以,也不用这么多人物啊。
难道是院士大佬或者军方大佬来检查或者考评?
正襟危坐的学生心里疑问重重,可就是不敢开口说话,就算是平常时话最多的,此刻也是大气不敢喘一下。
数学学院和航空学院说起来还是一堆冤家关系。
数学学院研究的是基础和前沿的理论,对于理论上的功底要求颇高,而航空学院是在理论基础上应用和创新,谁也离不开谁,有时候又会谁也瞧不上谁。
细看这些大佬,不仅仅是数院的,还有隔壁计算机学院的,这两个学院的消息比较灵通。
敏感度猜想一直是数院和计算机学院想攻克的课题,之前还搞过联合小组一起攻克,均没有成果。
如今,猜想被人证明了,意味着数学和计算机的工具库更加丰富了。
这次证明了猜想的不是外国的著名教授,也不是国内的学术泰斗。
其他学校还没来反应过来,不知道哪里出来的大神。
数院和计算机学院就吃瓜吃到了自己身上。
知道发表论文的在国科大本校内,可是计算机学院没有人知晓肖恩这个人的存在。
几近波折后在学校的学籍管理系统查到这个人。
刚开始还是不相信的,直到李教授得知这个消息,再跟论文杂志那边核对再三之后,教授们都惊呆了!
证明了猜想的不是校内的哪个教授讲师或者博士硕士,而是大四的一个学生!
一个人证明了之前十几二十人的联合课题攻坚小组都没有完成的艰难课题。
活久见!
解决的不是一般的学术问题,这可是学术界赫赫有名的悬而未决的难题。
所有的学生都已经做好了上课的准备。
除了肖恩没有来。
肖恩给孤儿院寄点钱,没打算来上李教授的课,也是看了课程表,今天李教授的数学课没有什么是自己感兴趣的。
教授们的翘首期待就差点把自己变成望夫石了,依然没有等到肖恩的出现。
飞卢小说,飞要你好看!