中湖大学,食堂中!
叶非和贺兴相对而坐,一边吃一边聊天。
“叶先生,各大公司已经开始出价了,出价最高的是一千万。”
“但是,有家互联网巨头公司,也想买你的算法。”
“嗯?”叶非惊奇的道:“哪家巨头公司?”
贺兴道:“百度!”
“百度?”叶非诧异的道:“百度应该不需要我的算法吧!”
图计算法浮点运算次数只有五万亿次,像百度这样的互联网巨头公司,早就应该研发出浮点运算次数达到百万亿次的算法。
而且,百度有超算,他们的超算算法浮点运算次数可能已经达到亿亿次数。
对于图计算法这点浮点运算次数肯定是不需要的。
贺兴道:“我也问过百度的人,他们对你算法的创造方式非常感兴趣,想买来研究一下。”
“他们出价多少?”叶非问道。
“一千万!”
叶非倒吸一口凉气,财大气粗啊,就为了想研究图计算法的创造方法,就出价一千万。
当然,他也能理解。
互联网巨头公司,最不缺钱。
可能对于百度来说,一千万就相当于十块钱一样。
研究图计算法创造方法,出价十块钱,非常值。
贺兴道:“但我的建议是先不要卖,这才刚开始,我相信能将图计算法卖到更高的价。”
他非常兴奋,没想到能吸引来百度。
百度对图计算法感兴趣,看到别的公司出更高价后,肯定会加价的。
所以,他预估,图计算法最终价值可能会超出自己的预估。
叶非道:“行,我不管你怎么卖,反正越高越好。”
吃完饭后,叶非去算力研究室。
算力研究室!
叶非正在和周康教授研究图灵等价问题。
可数计算性理论和集合论已经结合到一起,下面是将它们套到可数波雷尔等价关系中。
叶非他们现在就是做这一步。
叶非道:“周教授,我觉得如果将非形式的能行可计算性加入进去,好像更适合当前研究。”
“你是说丘奇-图灵?”周教授道。
这里说的丘奇是阿隆佐·邱奇,北丽国数学家,他1936年发表可计算函数的第一份精确定义,1967年发明了著名的λ演算。