第17章、解析《哥猜》

《哥猜》虽然是一个初等数论问题，但并不表示它有初等的证明。

他放弃了传统解析及论证方式。在科技树解锁前，若还是按传统数学家的方式，将耗费他巨大的精力和时间。这将是得不偿失的举动。他学习数学但却不会沉湎在这个狭窄的领域，更不会专职成为数学家。他的未来还是高科技领域。

现解析难题仅是让天才之名名副其实的一个小举动而已。

思前想后，他计划自创一款软件，通过软件强大的逻辑分析和电脑高效的计算效能，来辅助他推演这道数学难题，这也是将信息技术，与传统数学之间一次融合的尝试。

其实，世界上许多数学家，都是编程高手。但却没有一位数学大师，能在两个领域都拥有极高的水准。这也给马由提供了这么一个前无古人尝试的机会。

他一直坚信，工欲善其事、必先利其器。有了电脑和超越这个时代的各种软件工具，他完全没有必要按部就班，像传统数学家那样，仅采用人工甚至手写方式推演。

马由在记忆中，翻阅了一阵子，终于找到了一款前世类似用途的软件。不过，这款软件建立在量子计算机或生物计算机硬件基础上，同时需要人工智能。显然这款软件再强大，目前他还是无法直接使用。

他还是下决心，花费一定的时间，把这款软件进行简化。总比自己瞎子摸象，完全重新编写一款软件容易一些。且这款软件研发成功后，将来解析其他数学难题，就轻车熟路、事半功倍。

一周时间，除了补充食物，他一直没有出门，学分主要期末考试获得。平时校方也同意他放羊式的教学。和班级辅导员请了假，就蜷缩在宿舍里独自敲打代码。

这款软件比之前自己编写的电脑系统软件还要复杂。其难度主要在准人工智能的逻辑编程方面。既要能在目前的计算机硬件基础上良好运行，同时还要保留较好的智能运算，就要解决软件体积和计算机运行强度的矛盾。

最终，他还是找到了这个平衡点，从而完成了命名为《马氏数学智能解析》这款解析软件的编译。不过，原有的笔记本电脑，运行起来还是比较勉强。且这台笔记本，还要承担随时跟踪和交易股票的重任。