“按照上次会议的思路，理论组最近的工作主要集中在将现实系统映射到理论空间的形式化理论中，这方面我们取得了巨大的进展”，李文静说，
“这在116所以及哥大夫和最新的晶格模型中得到了体现，我们现在将现实系统形式化到哥德尔的神经网络的时间大大缩短，真实性也大大提升了。”
“但是在性能方面，我们能做的事情不多”，
王一男对此早有预料，“嗯，形式化理论做到现在已经很出乎我的预料了”。
“我来说说软件部分的工作吧，目前主要的瓶颈还是在于多维空间的搜索和匹配，我们在恢复哥德尔系统的时候，也对之前的整体架构进行了一些优化，现在对异构系统的支持能力大大加强了，我们也把绝大多数常规的工作放到CPU或者GPU上，尽可能降低FPGA的压力”。
“但是要想提升性能，还得着落在孙伟你们这里，孙伟你来说说把“，王一男对孙伟说。
“我们已经利用哥德尔系统对FPGA电路进行了多次迭代，当迭代之后有足够的性能提升之后，我们都会灰度替换一部分FPGA芯片，事实上，目前哥德尔系统的FPGA芯片，一部分已经是第五代了”。
“但是最近的迭代已经很难获得性能提升了，而且增加FPGA芯片带来的性能提升已经极度微小”，
“事实上，已经微小到不值得这么干”。
“也就是说，通过硬件提升哥德尔系统性能的路，差不多走到了尽头。”
孙伟的这番话让会议室陷入了长久的寂静。作为资深的硬件专家，他的判断是具有相当可信度的，也
第四十三章 瓶颈(4/6)