过程,数学是无法证明出来的,如果结论是正确的,角谷猜想肯定是正确的。”
“我觉得很奇怪,因为整个过程,我都完完全全推导出来的。”
“在仔细思考了以后,我就发现自己证明出了角谷猜想,所以,事实上,角谷猜想的证明过程,就是在我的‘有效与无关进位筛选’的研究中……”
“在这里我要感谢李益来教授,如果不是他,我根本没有意识到。”
这件事网上是有说的,当时有很多人在场,消息肯定会被传出去,但多数人都以为是谣传,哪有自己不知道证明出角谷猜想的?
赵奕一解释才让人明白过来。
原来是这样!
角谷猜想的证明就包含在‘一个算法研究’中,算法研究作报告的时候,被提醒才知道证明出来了。
这就说得通了。
郑娜娜很感兴趣的听着,她觉得很有戏剧性,赶紧追问一些细节,比如,‘当时的心情怎么样’、‘李益来教授是谁’、‘你觉得角谷猜想的证明和发明新的算法,哪一个成就更大’。
第一个问题还好说。
第二个问题就卡壳了,赵奕也不知道李益来具体在哪里工作,他对此根本就没关心过。
第三个。
“当然是新的算法。”
赵奕说道,“虽然数学猜想的证明更被关注,但我认为‘筛选法’才更有实际意义,它是能被用在很多领域的新算法,而计算机领域的进步,是人们能明显感受到的。
“另外,‘筛选法’也包含一部分角谷猜想的证明,所以,这个问题,其实没有意义。”
赵奕说着话题就转到了筛选法,但就算是科学栏目,也不会谈太高深的内容。
郑娜娜翻到了准备问题的最后,问起了魔方计算器的内容,魔方计算器被很多人熟知,还被魔方协会当做‘必用’工具,她还找到一个很多专业人士,都会关心的问题,“网上有消息说,有很多大公司,都希望卖到魔方计算器的源代码,是真的吗?”
“是的。”
“能具体说说吗?”
赵奕想想笑道,“问题很明显了,就是有一些公司,想购买我的代码,你想知道什么?”
郑娜娜不好意思的笑道,“能透露一下,你的源代码打算卖多少钱吗?据说有国内公司,出价五百万以上,国外的公司更高。”
“我没想卖。”
“啊?”
郑娜娜听罢有些惊讶。
赵奕突然正色道,“我认为,过去十几年,互联网之所以能快速发展,很大一部分原因是开源打败了封闭,计算机技术是世界上交流最频繁、最开放的领域,一项新的、能应用到很多领域的算法,不应该对其他人保密。”
“我公布了‘筛选法’,但因为其复杂性,很多人还是难以摸透,而魔方计算器的源代码,就是对‘有效与无关进位筛选法’的第一次,我认为也是教科书一般的运用。”
“所以我决定……把源代码公开。”
看着旁边形象骤然高大的男孩儿,郑娜娜惊讶地张大了嘴问道,“以什么方式公开吗?还是发表到杂志上?”
“不会。”
赵奕摇头道,“魔方计算器的源代码也是很难弄懂得,只是公布源代码的意义不大,为了让更多的人能弄明白,而不是浪费时间去埋头研究,我觉得把一些有难度的代码段落,都详细的解释一遍。”
“这许多很大的篇幅,而且很耗费时间,但我还是决定这样做,会亲手一个字一个字的写出来。我已经联系好了出版社,决定自费出版……”
赵奕的话音大义凛然,仿佛就是-->>