公式，并帮助他进行逻辑校正。他一边解析，一边微调软件各种参数，3天下来，软件完全适应了针对《哥猜》这道难题的解析运算。
这个工具的使用，让他解题过程的效率，比较一般数学家，提高了至少百倍以上。且还不容易出现低级错误，也不会出现逻辑错误。
不过这是一种比喻，数学解题不是简单看解析速度。可能一个顿悟，就找到了解题的方向。或者一辈子，都无法完成一道难题。
但电脑运算，就将这个过程大幅度缩短，一个方向不正确，换一个方向继续前进。如此反复，加之编制这款软件的马由本来数学功底就十分雄厚，也能够在失败中，找到出现问题的线索。再调整一些公式和思路，继续让电脑进行运算，无非多花费一点电费而已。
在电脑和软件的帮助下，1993年12月中旬，他终于完成了《哥德巴赫猜想》最后一步的解答。
通过《哥猜》的论证，也验证了马由编制的《马氏数学智能解析1.0》可行性。当然，在不同的数学难题解析运算时，还是需要根据数学思路，进行软件的人工调整。毕竟不是人工智能，所以还是需要一定的人工干预。
不过，不同数学难题，不断进行各种调试和修正，这款绝无仅有的解析软件将越来越强大。
这可是数学界的奇迹，也是解析数学难题的独门法宝。全球所有数学家都还是承袭传统方式，通过纸笔解题，不仅繁琐，而且十分劳累。但数学界就这么任性，大师们都认为解题就是享受其中的过程，好比画家绘画一般，创作过程就是他们生活的全部。
他将电脑解析的所有公式，都仔细阅读了一番。完全理解后，他开始编撰解析论文。
两天时间，他完成了《哥猜》的最终论证稿。没有急着把论文发表，他回到学校，将论文打印了一份，递交给东大数学系熊庆来先生亲传弟子、知名数学家郑庆荣教授手中，请他斧正的同时，也算是给学校一个交代，否则一旦论文发表了，校方却无人知晓这个来自本校学生的成果，他就有些失礼了。
之后，他通过邮件，将编译成英文，并严格按数学论文格式的论文，向《数学年刊》投稿。
《数学年刊》是普林斯顿大学和普林斯顿高等研究院主办的专业数学期刊，和德国的《数学发明》、米国的《米国数学会志》以及瑞典的《数学学报》并列为数学世界四大权威杂志。
这四大杂志在数学界的地位就好比《自然》和《科学》在自然科学中的地位一样
…。。