什么数学模型，行不行，都是可以在电脑软件上进行验证的，有问题很快就能验证出来，发现漏洞，避免走上弯路。

    以前张育平用的是国外的MATLAB软件，可靠好用，公式库丰富，能解决绝大多数的数学模拟问题。

    但从去年开始，这款软件，就变的不那么好用了，一部分高校被禁止使用，但杜绝不了盗版，然而通过后门操控，盗版软件会频频出现问题，如蓝屏、中毒、死机等，公式库也不再完整，在用于复杂问题的处理时，几乎无法正常使用。

    国产替代软件当然也有，具有MATLAB软件90%以上的功能，但在复杂数学问题的处理上，远远比不上MATLAB。

    因为国产软件的公式库，没有外国软件丰富、完整。

    而公式库，就是基础研究能力的体现，如果一个国家的基础研究领域薄弱，成果稀少，积累的数学公式少，那么开发出的数学软件，只能处理加减乘除之类简单的问题，更高深的领域，根本模拟不了，因为没有相应的公式可用。

    故而张育平的研究，陷入长时间的停滞状态——虽然他设计了不少的数学模型，但无法用软件进行验证，怎么可能搞出成果。

    然而学校机房里，多出的一款“爱数学”软件，最近给了张育平惊喜。

    这款软件，不仅能正常运行他的数学模型，而且还有智能优化功能，只要点击优化，原本繁杂的公式体系，立刻变的清晰简略，逻辑性更强。

    虽然连续十几个的数学模型，都被证明错误，但一遍遍的智能优化过程中，张育平居然摸到了一丝规律，找到了几分灵感。

    继续设计新的数学模型。

    继续进行模拟。

    废寝忘食如同疯魔的研究过程中。

    直到某一天。

    一个完美的数学公式组，呈现在张育平的面前。

    再点击进行模拟，哥德巴赫猜想的终极猜测1+1证明结果，出现在了他的眼前。

    然后……成功了。

    证明结果出来了，1+1是可以的，终极答案被找到了。

    连续熬了好几个夜的张育平，差点激动到当场猝死。

    “这绝对是诺奖级的重大突破，数学21世纪最-->>

本章未完，点击下一页继续阅读