王一男敲了敲白板,“昨儿个大伙都喝的不少,今天我们就开一个不严肃的会议”,王一男在白板上写下了三行字:
1 哥德尔提升
2 超导理论研究
3 哥德尔应用
“这是目前我们最核心的三项工作”,王一男说。
”第一项,哥德尔系统的改进已经到了一个新的攻坚阶段,这个方向太专业,所以我们找时间专门讨论,相关的人员参加就行“
”第二项,超导理论的研究,这个专业性更强了,主要是我们几个物理数学方面的人个人研究为主,大家碰一碰思路就行“
”第三项,就是我们今天开这个务虚会的目的,大家开开脑洞,充分发散思维,看看目前的哥德尔系统能够应用在哪些方面,可以给公司带来稳定的收入来源,或者一两笔巨额的收入也行。
“当然,这些应用一定要吸取之前孙晓姿在胡椒直播引起的教训”
“动静太大不行,一定要静悄悄的挣钱”
下面立刻想起了热烈的讨论声,说实话,看到这么逆天的哥德尔,参会的人,谁没有用来YY过自己利用哥德尔大杀四方呢。
孙晓姿举起手来,“能不能用来打王者啊,专业代打,最快速度上白金”,
”下一个“,王一男华丽的无视了小女孩的幻想。
张琪举起了手,“战队免谈哈”,王一男说。
“用来分析天使投资的风险怎么样,只要提升一倍的成功率,那回报可是杠杠的”
“形式化太难,而且见效太慢了”,李文静直接就泼了冷水。
赵天成举起手,“你来”,王一男说。
“有没有可能把整个程序设计语言形式化,然后利用哥德尔找到大型程序里面的所有的缺陷啊”
“这倒是个不错的方向,对特定程序设计语言的形式化倒不是很难”
“我们可以发现整个PC操作系统或者手机操作系统的缺陷啊”
”从理论上,这可是个巨大的进步哦“
似乎这个主意不错,软件部和硬件部的几位立刻陷入热烈的讨论中。
敲了敲白板,王一男给他们泼冷水。
“你们考虑过计算量没有?”
“以现代程序设计语言的表达能力,一个一百行的小程序,足以实现非常复杂的功能了”
“哥德尔应用的一个最基本原则,是要形式化一个尽可能受限制的领域”
“这样才有可能在足够短的时间内,得到有价值的结果”
“先不说你们形式化程序设计语言的时间,何况还有形式化PC和手机操作系统的时间”
“这些都不算”,“数千万行的操作系统,你们想让哥德尔系统找出缺陷”
“我估计到地球毁灭的那天都没办法计算完成”
“童鞋们,这是一个高阶形式化体系,还是清醒一点,不去碰的好”
李文静举起手,王一男点了点她,”文静说说吧“
”我觉得医学是一个很有价值的方向,没有什么比生命更值钱的了“
”嗯,不错,医学值得花大力气“,张琪首先赞成。
”你看,有钱人都怕死“,王一男嘲笑了一下张琪。
王一男转身在白板上写下医学两个字,
“好了,现在问题来了,我们选择中医还是西医呢”
“中医吧,中医简单一点,四大经典医书,常用药物什么的,形式化很容易”
“还是西医吧,中医纯粹就是经验为主,是不是科学都还两说呢,怎么形式化,而且形式化的正确性怎么保证,我是一丁点把握都没有。”
“中医,中医讲究的是把人体当成一个整体,所以如果我们忽略人体的复杂结构,把他(她)当成黑箱来处理的话,是有可能得到哥德尔可以理解的形式系统的”
“西医,西医更接近科学,而且西医的领域划分非常细,我们可以专注在其中一个领域,这样的限定领域,对于哥德尔发挥自己的特点,是很有好处的。”
涉及到具体的方向,跟整个社会一样,对中医和西医的争论立刻就开始了。
让他们争辩下去,估计一整天时间都不会有一个结果的。王一男只得出来和稀泥。
“我们先放下路线的选择,如果哥德尔针对中医进行形式化的话,应该是将病人作为一个黑箱对吧”,
“然后是中医的经典理论是一个基础输入,中医诊断利用的症状是另一个输入,我们暂时不考虑针灸和中医物理疗法,那些更没谱了,只考虑药物,中医的药物作为第三个输入”
“然后治疗的最后的效果就是这个黑箱的输出”,
“这样简化,理论上是可以将中医理论形式化的”
“不过需要海量的病例,也就是足够的训练样本,用于训练哥德尔系统的神经网络”
王一男的分析很到位,大伙同意将这个技术方向,作为哥德尔的一个备选方向。
”如果西医的话,没办法这么简单的将病人作为黑箱处理了“,王一男说,
”西医的领域实在太细,太专业,这既是好事,问题领域的限定,有助于哥德尔解决问题。同时也是坏事,我们在形式化问题的时候,难度将直线上升。“
”大概来看,诊断就算了,这个范围太大,也有太多经验的成分,我光想想就觉得一头雾水“
”药物应该是一个方向,特别一些新概念的药物,比如说针对特定靶点的药物“
”但是药物的研究是超级花钱和花时间的事情,我们独立做不现实,哥德尔可以起到辅助作用“
孙伟举手补充到,”医学我略有涉及,之前FPGA芯片也有医疗上的应用“
”我觉得医疗设备也是一个不错的方向“
”嗯“,”很好“,王一男说,”我再补充一下,我们可以定位在辅助性质的,或者诊断性质的医疗设备上,这样面临的风险和相关认证的压力会小很多“
王一男在黑板上写下三行字:
中医,人体黑盒
西医,药物辅助研究
西医,诊断,辅助设备
”医学方面的脑洞先告一段落“,王一男说,我们继续看看其他方向。
”刚才张琪说的,投资方向都是有点意思,不过用来提升天使投资的成功率,这个是自找麻烦“
”股票市场和期货市场,可以考虑涉足一下,特别是米国或者太阳国的,去弄一票,完全没有心理负担啊“
赵天成举起了手,”你说“,王一男点了点头。
”我之前曾经专门研究过股票,也自己用神经网络模拟过股票市场的运行,我觉得用哥德尔系统来对目前流行的几个模型进行分析和改进,还是很有机会提高预测的准确率“
”好的,股票“,王一男在白板上继续往下写,
“股票”
李文静举手发言,
”我觉得,我们应该想一想,什么东西对效率的依赖特别高,哥德尔系统对于提升效率,应该是最擅长的“
”电池效率“,张琪立刻想起了自己的ModelX,
”电动车对电池的依赖太高了,而电池效率即使只提升一点点,都是巨大的进步,有着可怕的经济效益“
“发动机的效率”,孙伟平时比较喜欢玩汽车,
“我们用哥德尔调整ECU(电子控制单元,汽车发动机的控制电脑程序),一定比最有经验的工程师还要牛”
钱中华一直没说话,听到这里,他渐渐的有点回过味来了。
毕竟也是专业从事反商业间谍工作的人,而且对现代科技,钱中华也是相当熟悉,之前不说话,是因为对哥德尔系统不够了解。
”我提个问题“,钱中华举起手来。
”你说吧“,王一男说。
“从前面你们说的东西看起来,我是不是可以这样理解“,
”只要在一个不是那么复杂的特定领域,如果规则相对固定,或者理论相对比较简单,使用哥德尔系统,就可以得到最好的结果?“,钱中华说。
”大概的意思你没有理解错“,王一男回答。
”更准确的是,如果一个限定的系统,能够用文静的理论对系统本身,需要解决的问题,以及对问题的解决方案这三个部分进行足够准确的形式化“,
”那么,哥德尔系统可以得到比现有最佳的解决方案更好的方案“
”具体的提升幅度,受各种因素的制约,是不确定的“
”我靠“,钱中华有点蒙圈了。
”真这么牛X?“
”就是这么牛X“,王一男也有点蒙圈了,
“你丫当初根本不知道哥德尔系统这么牛X,就上杆子给我们送钱了?”
钱中华有点不好意思,”一时冲动,一时冲动“
”后来回去还后悔了好几天呢“
。。。王一男也是醉了。
”也就是说,理论上我们可以改进飞行器的气动外形?“,钱中华问到。
”是的,空气动力学是比较成熟的科学,形式化的难度不算太大“
”或者潜艇的外形?“
”这个,跟飞行器的情况很近似“
”材料呢,你知道我们发动机的材料不过关“
”这个有难度,你知道,材料科学更多的是经验科学,需要有大量的实验作为支撑,对这样的领域进行形式化,难度非常大,而且效果不一定好。“
”我明白了,也就是说,包含的因素越少,越接近基础理论的方案,哥德尔系统发挥的作用就越大“
”完全正确,老钱啊,我觉得你不来搞科研真是太浪费了“
”怎么样,别在你们那里浪费生命了,来我这里,一起探索宇宙的奥秘吧“
”滚犊子“
”王一男同志“,钱中华大声说。
”还有在座的各位,我郑重的请求大家,不要对外透露今天会议的一切内容,我会申请提升你们公司的保密级别“
“你们继续讨论,但是我刚才说的你们就当没听见”
说完,钱中华把王一男叫到一边。
“我马上要去总参谋部,总装备部,找相关的专家讨论刚才的那些问题”
“放心,不会白让你们干活的,只要哥德尔表现好,经费你们就不用担心了”
说完,钱中华匆匆离开了容与公司。
王一男转身在白板上写下:
“提升电池效率”
“提升燃油效率”
“我们继续,军事方面就不要开脑洞了”
“让我们再看看,还有什么方面,有大企业愿意出大钱的。”