按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
王一男笑了笑，“看来最近被钱中华和张琪这帮损友给传染了，大脑都有点退化了”
“科学家的征程只应该是星辰大海哈”
”若烟，中华，我先回去了啊，“，王一男向他们告辞。
”实验室那边还有好多事等着我呢“
”吃完饭再走吧“，邓若烟说到。
”不用了，烤鸭虽好，吃多了也不行啊“
”中华，你不用送我了，我叫了嘟嘟快车，马上就到门口“
说完，王一男朝邓若烟挥挥手，就离开了小院。
钱中华和邓若烟对望了一眼，有些疑惑，好像，感觉王一男有点不一样了，具体有什么不一样，又说不上来。
在回去的汽车上，王一男仔细想了想最该做的事情，
在公司刚成立的时候，他曾经做了一个《目前的形势和我们的任务》的报告，里面的很多分析目前还是适用的。
哥德尔系统已经恢复，但是计算能力有所下降，恢复最佳的计算能力，甚至进一步提升仍然是目前最核心的任务。
使用FPGA专用电路的方案，现在看起来也到了提升的极限，由于芯片间通讯的开销越来越大，简单的增加FPGA芯片的数量，能获得的性能提升已经很少了。
按道理，程潜已经拿到史密斯盗走的实验材料有一段时间了，他们进行分析，实验，包括重现应该也差不多了，估计近期就会有新的论文出来。
王一男他们也必须发出自己的声音，至少要形成争议，否则让托马斯和程潜在国际上刷脸刷的太厉害，以后就没王一男他们什么事了。
另外还有一件重要的事情，哥德尔系统的性能提升，还有超导理论的研究都是非常花钱的事情，上次胡椒直播的事情是可遇而不可求的，而且为挣几千万软妹币弄出那么大的动静，甚至引来了鬓狗史密斯，直接导致了哥德尔系统被毁。
所以这种挣钱方式，王一男是真心不敢再来一次了。
坐在金山上找食吃的事情，王一男觉得自己没那么low，干不出来。所以趁现在口袋还算殷实，王一男打算利用哥德尔系统的能力，做点动静小，但是能赚钱的买卖。具体做什么，王一男有了一些大概的想法。
针对个人来说，亿万富豪最愿意为什么事情花钱？排第一位的，肯定是生命和健康了。所以这方面肯定大有文章可做，但是人体是个非常复杂的系统，直接针对人体做形式化，肯定远远超过了哥德尔的能力，所以这个突破口，要好好找找。
教育也是个人愿意花钱的一个重点，当然紧迫性要放在生命和健康之后。
除了个人外，大公司也是一个很有前途的掘金点，跨国公司为了一个技术或者专利授权，花掉数百万，数千万美刀的，也不在少数。
王一男回到公司，除了他以外，所有的人都已经开始工作了，孙晓姿毕业以后，没有去学校分配的单位，直接就来了容与公司，由于之前跟哥德尔配合过，而且确实王一男他们缺少测试人员，孙晓姿就成为公司的第十三名员工。
拿到工牌的时候，孙晓姿半天没说出话来，“难道我天生就是犹大的命么。。。”
“开会啦开会啦”，王一男总是这么随性。
别人开会要提前通知，准备点PPT啊，而王一男从来都是想一出是一出，说开会就开会的，容与科技的员工也适应了他这种方式，很短的时间就自带小板凳，聚集在一起了。
对此，用王一男自己的话来解释，就是，”小公司，效率优先，做什么准备啊，事情说清楚就行了“
不过大伙更认同李文静给他的评价，
”一个字“
”懒“
第29章 脑洞大开（）
王一男敲了敲白板，“昨儿个大伙都喝的不少，今天我们就开一个不严肃的会议”，王一男在白板上写下了三行字：
1哥德尔提升
2超导理论研究
3哥德尔应用
“这是目前我们最核心的三项工作”，王一男说。
”第一项，哥德尔系统的改进已经到了一个新的攻坚阶段，这个方向太专业，所以我们找时间专门讨论，相关的人员参加就行“
”第二项，超导理论的研究，这个专业性更强了，主要是我们几个物理数学方面的人个人研究为主，大家碰一碰思路就行“
”第三项，就是我们今天开这个务虚会的目的，大家开开脑洞，充分发散思维，看看目前的哥德尔系统能够应用在哪些方面，可以给公司带来稳定的收入来源，或者一两笔巨额的收入也行。
“当然，这些应用一定要吸取之前孙晓姿在胡椒直播引起的教训”
“动静太大不行，一定要静悄悄的挣钱”
下面立刻想起了热烈的讨论声，说实话，看到这么逆天的哥德尔，参会的人，谁没有用来YY过自己利用哥德尔大杀四方呢。
孙晓姿举起手来，“能不能用来打王者啊，专业代打，最快速度上白金”，
”下一个“，王一男华丽的无视了小女孩的幻想。
张琪举起了手，“战队免谈哈”，王一男说。
“用来分析天使投资的风险怎么样，只要提升一倍的成功率，那回报可是杠杠的”
“形式化太难，而且见效太慢了”，李文静直接就泼了冷水。
赵天成举起手，“你来”，王一男说。
“有没有可能把整个程序设计语言形式化，然后利用哥德尔找到大型程序里面的所有的缺陷啊”
“这倒是个不错的方向，对特定程序设计语言的形式化倒不是很难”
“我们可以发现整个PC操作系统或者手机操作系统的缺陷啊”
”从理论上，这可是个巨大的进步哦“
似乎这个主意不错，软件部和硬件部的几位立刻陷入热烈的讨论中。
敲了敲白板，王一男给他们泼冷水。
“你们考虑过计算量没有？”
“以现代程序设计语言的表达能力，一个一百行的小程序，足以实现非常复杂的功能了”
“哥德尔应用的一个最基本原则，是要形式化一个尽可能受限制的领域”
“这样才有可能在足够短的时间内，得到有价值的结果”
“先不说你们形式化程序设计语言的时间，何况还有形式化PC和手机操作系统的时间”
“这些都不算”，“数千万行的操作系统，你们想让哥德尔系统找出缺陷”
“我估计到地球毁灭的那天都没办法计算完成”
“童鞋们，这是一个高阶形式化体系，还是清醒一点，不去碰的好”
李文静举起手，王一男点了点她，”文静说说吧“
”我觉得医学是一个很有价值的方向，没有什么比生命更值钱的了“
”嗯，不错，医学值得花大力气“，张琪首先赞成。
”你看，有钱人都怕死“，王一男嘲笑了一下张琪。
王一男转身在白板上写下医学两个字，
“好了，现在问题来了，我们选择中医还是西医呢”
“中医吧，中医简单一点，四大经典医书，常用药物什么的，形式化很容易”
“还是西医吧，中医纯粹就是经验为主，是不是科学都还两说呢，怎么形式化，而且形式化的正确性怎么保证，我是一丁点把握都没有。”
“中医，中医讲究的是把人体当成一个整体，所以如果我们忽略人体的复杂结构，把他（她）当成黑箱来处理的话，是有可能得到哥德尔可以理解的形式系统的”
“西医，西医更接近科学，而且西医的领域划分非常细，我们可以专注在其中一个领域，这样的限定领域，对于哥德尔发挥自己的特点，是很有好处的。”
涉及到具体的方向，跟整个社会一样，对中医和西医的争论立刻就开始了。
让他们争辩下去，估计一整天时间都不会有一个结果的。王一男只得出来和稀泥。
“我们先放下路线的选择，如果哥德尔针对中医进行形式化的话，应该是将病人作为一个黑箱对吧”，
“然后是中医的经典理论是一个基础输入，中医诊断利用的症状是另一个输入，我们暂时不考虑针灸和中医物理疗法，那些更没谱了，只考虑药物，中医的药物作为第三个输入”
“然后治疗的最后的效果就是这个黑箱的输出”，
“这样简化，理论上是可以将中医理论形式化的”
“不过需要海量的病例，也就是足够的训练样本，用于训练哥德尔系统的神经网络”
王一男的分析很到位，大伙同意将这个技术方向，作为哥德尔的一个备选方向。
”如果西医的话，没办法这么简单的将病人作为黑箱处理了“，王一男说，
”西医的领域实在太细，太专业，这既是好事，问题领域的限定，有助于哥德尔解决问题。同时也是坏事，我们在形式化问题的时候，难度将直线上升。“
”大概来看，诊断就算了，这个范围太大，也有太多经验的成分，我光想想就觉得一头雾水“
”药物应该是一个方向，特别一些新概念的药物，比如说针对特定靶点的药物“
”但是药物的研究是超级花钱和花时间的事情，我们独立做不现实，哥德尔可以起到辅助作用“
孙伟举手补充到，”医学我略有涉及，之前FPGA芯片也有医疗上的应用“
”我觉得医疗设备也是一个不错的方向“
”嗯“，”很好“，王一男说，”我再补充一下，我们可以定位在辅助性质的，或者诊断性质的医疗设备上，这样面临的风险和相关认证的压力会小很多“
王一男在黑板上写下三行字：
中医，人体黑盒
西医，药物辅助研究
西医，诊断，辅助设备
”医学方面的脑洞先告一段落“，王一男说，我们继续看看其他�