潍坊某部军官张志明设计程序找到符合哥德巴赫猜想的最大自然数创切尼斯中国纪录

　　早报潍坊讯 近日，驻潍某部军官张志明接到《切尼斯中国纪录证书》。张志明所设计的计算机程序成功验证出前1439435465个自然数（大于零的整数）符合哥德巴赫猜想，并创造了国内纪录。

　　张志明是河北省人，现为驻潍某部中尉军官。2000年，他考入中国人民解放军空军航空大学学习计算机编程。一次偶然的机会，他想出了用计算机程序破解哥德巴赫猜想的方法，并在老师的指导下，设计出这种计算机程序，经过反复修改，该程序成功验证出前1439435465个自然数符合哥德巴赫猜想。

　　27日上午，记者在驻潍某部司令部，看到切尼斯中国纪录总部发给张志明的证书(右图)，上面写有“切尼斯中国纪录证书，符合哥德巴赫猜想的最大自然数”等字迹，证书上还写有“完成这一工作需要两年的时间，创造了一项新的切尼斯中国纪录”，并有切尼斯创始人张大勇的签字。

　　张志明告诉记者，2005年6月，他把这一计算机程序寄到了切尼斯中国纪录总部，很快就得到了答复，让自己没有想到的是，这还创造了国内纪录。