了理论部的方案，这个方案涉及到哥德尔定理的某种变形，如果能在数学上突破某些理论限制的话，可以降低计算力的要求。

    “大概能降低多少”，王一男问。

    “保守估计20%吧”李文静回答。

    “那最乐观的估计呢”

    “应该能到50%”

    “那这个方向放弃吧，性价比太低，花那么大力量研究理论，最多，也就等价于提升一倍的计算能力。”王一男否决了李文静提出的改进方向。

    “理论组近期的工作任务，应该还是进一步完善现实系统形式化的理论工具，只有这样，才能更快的将现实系统映射到虚拟空间中，更快的提升哥德尔系统解决现实问题的能力”

    王一男说。

    “嗯，这是一个非常好的思路，之前我们花了三天时间来形式化孙伟的论文，这方面如果能有突破的话，三个小时就可以搞定了”，李文静同意王一男的说法。

    “我来介绍一下软件部的方案”，王一男说。

    “经过我和李飞，赵天成的讨论，也运用哥德尔系统对自身的运行环节进行了分析。我们发现目前在哥德尔系统运行过程中，主要的瓶颈还是在多维空间的搜索和匹配，这方面占了
 <本章未完请点击"下一页"继续观看!>