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