王一男说，
”我有预感，只要解决了这个无穷大的问题，我们一定可以取得突破性的进展“。
”问题是一点头绪都没有啊“
王一男也犯了愁，目前的晶格模型形式化工作也已经完成，他和李文静也尝试使用哥德尔系统进行分析，但是每次分析进行到一定程度的时候就会陷入死循环，有一次还导致哥德尔系统逻辑紊乱，要不是及时切断了电源，还不知道会发生什么事情呢。
看来要想突破，还是要把重点放在哥德尔系统上啊，王一男召集孙伟，赵天成和李飞开了一个讨论会，李文静和张琪也参加了讨论。
“我记得上次我们曾经开会讨论过哥德尔系统的性能提升方案，我们还是按照上次的顺序，文静，你先说一下理论上有没有什么新的进展”，王一男做了简单的开场白。
“按照上次会议的思路，理论组最近的工作主要集中在将现实系统映射到理论空间的形式化理论中，这方面我们取得了巨大的进展”，李文静说，
“这在116所以及哥大夫和最新的晶格模型中得到了体现，我们现在将现实系统形式化到哥德尔的神经网络的时间大大缩短，真实性也大大提升了。”
“但是在性能方面，我们能做的事情不多”，
王一男对此早有预料，“嗯，形式化理论做到现在已经很出乎我的预料了”。
“我来说说软件部分的工作吧，目前主要的瓶颈还是在于多维空间的搜索和匹配，我们在恢复哥德尔系统的时候，也对之前的整体架构进行了一些优化，现在对异构系统的支持能力大大加强了，我们也把绝大多数常规的工作放到cpU或者GpU上，尽可能降低FpGA的压力”。
“但是要想提升性能，还得着落在孙伟你们这里，孙伟你来说说把“，王一男对孙伟说。
“我们已经利用哥德尔系统对FpGA电路进行了多次迭代，当迭代之后有足够的性能提升之后，我们都会灰度替换一部分FpGA芯片，事实上，目前哥德尔系统的FpGA芯片，一部分已经是第五代了”。
本章未完，请点击"下一页"继续阅读！ 第3页 / 共5页