第240章 继续研发(第5/5 页)
最新科幻灵异小说:
叶罗丽之开局无敌、
魔幻车神之开局选择神级车神!、
真武世界、
诸界末日在线、
误入浮华、
复仇者联盟极地银狼、
穿成病弱女配后我出道了、
荣耀巅峰、
掠天记、
麻木的心脏、
末日重生:开局囤积SSS级卡牌、
末世降临不要慌,先囤粮食后囤枪、
原神:钟离有个聊天群、
崩坏:前文明之行、
它贴着一张便利贴、
星痕之门、
末世厨神、
我在末世打造女神天团、
名柯之我在柯学世界当团宠、
黄泉借皮、
熊猫操作系统所有的系统提示都是中文,不过并没有指出错误在哪里。
学生们七嘴八舌的说现在只要运行那个定制程序,电脑便会死机,他们认为出现这种情况的原因是蓝图1号电脑的处理能力不行,或许换装ib或者惠普的电脑或许能够行。
李树笑了笑后道:“证明费马大定理所需的运算过程对计算机硬件的要求其实不高,只用到蓝图1号40的性能,用外国电脑证明费马大定理和用华夏电脑证明费马大定理,意义不同。”
在学生们的默然之下,李树开始查找电脑系统和程序里的问题,李树推测费马大定理的证明过程中触碰到了程序设计中的某个bug,所以才会出现目前这种状况。
李树在飞速检索程序中bug的时候,也没闲着,而是在脑中飞速回忆费马大定理的相关概念和前人的证明过程。
这就好像一场接力赛一样,后人根据前人的经验和方法不断的扩大非正则素数的上限。
目前费马大定理虽被传出被英国人怀尔斯证明,不过被多人指出有问题,最终宣布证明失败,不过按照正常的历史脉络,在明年1994年10月,费马大定理将会被怀尔斯彻底证明。
而这段时间,就是燕京大学数学学院的机会。
本章未完,点击下一页继续。