137.妙不可言 (第2/2页)

直想怎么用计算机自动证明数学难题。

    著名的四色定理，就是数学家用计算机编程的办法，通过大量计算强行证明出来的。在计算机没证明出来之前，数学家并不懂怎么证明，现在还在找简单证明思路。

    李轩前世残废之前码农的身份，理解数学对于信息学学科的重要性，现在的他对数学的兴趣跟着提高。

    这样看着拉姆齐二染色定理，李轩越来越理解西塔潘猜想，但证明方法始终没有想出来。

    李轩一个晚上都在思考，求知欲望处于爆棚的状态，没有开启求知欲buff，就已经沉迷在其中，不可自拔。

    一宿没睡。

    ……

    ……

    第二天是星期天。

    一夜过去，书桌上台灯还在亮着，晨光透过窗帘透了进来，告诉李轩现在已经是第二天早上。

    李轩眼睛里有轻微血丝，经过一个晚上还是没有想到证明办法。

    对他来说，这个西塔潘猜想理解起来简单，但要证明起来就不一样，不像是竞赛题一般有固定的思路，这个证明是没有固定思路，要自己去想。

    李轩系统了解拉姆齐二染色定理当前研究成果，但是拉姆齐二染色定理强度的西塔潘猜想，怎么证明始终没有头绪。

    就在这时，徐丽进门准备叫李轩吃早饭，忽然发现李轩还在伏案思考，有些感叹李轩的刻苦，笑着说：“这么早起来学习？”

    李轩抬头看了她一眼，有气无力地说：“没有，我昨晚没睡，在想数学题。”

    徐丽惊了：“你这样不行，会累坏身体的，吃点早饭睡觉去！”

    李轩肚子的确很饿，去扒了几口饭，又匆忙回到房间里，继续研究起来。

    数学研究，不能急功近利，但沉浸在其中，也感觉到思考的乐趣，这种乐趣和玩游戏没区别，特别是李轩还开启了求知欲BUFF。

    李轩决定再想一会儿，下午再好好睡一觉。

    瞑目思考，明明那种虚无缥缈的数学直觉很强烈了。无数次射门，就差临门一脚，就是没有抓住稍纵即逝的灵感。

    在李轩思考的过程，系统不敢打扰。

    时间流逝，李轩拿起笔写着，知道能证明，就没有放弃，突然一愣，整个世界瞬间清晰起来，脑子更加好使，好像被闪电击中了，灵感徒然爆发，想到了一个方法。

    “没错，好像是这样没错……”

    李轩如获至宝，有些激动了地站起来，拳头紧握。

    难以形容的兴奋，他怕忘记了这个思路，立刻提笔在纸上写出运算思路，然后花了一个小时写出了证明过程，再三确认过程没有错误。

    收笔，李轩感觉整个人都放松了下来，瘫在椅子上，感觉大脑被掏空，“喵的……总算搞定了……证明西塔潘猜想错误！”

    这一种感觉妙不可言，总算如愿以偿，攻破了第一个猜想的防线。

    李轩带着疲惫的满足，这样熬夜其实对皮肤不好，但他实在是太兴奋了，第一次发现有漏洞可钻。

    搓了搓脸，李轩振作精神，又花了一上午时间，将证明翻译成英文版，最后投给了数理逻辑上国际权威杂志《符号逻辑杂志》。

    符号逻辑杂志官方网站提示消息：“已收到你的文章。”

    文章如石头掉落大海，会掀起什么波澜就不得而知了。

    做完了一切，李轩关上了电脑，仰天躺在床上，望着天花板，有一种奇怪的感觉，这一篇论文写完，他的人生转折了。他想都不敢想，有一天能证明出世界猜想，还是在没去大学的情况下。

    这样想着，渐渐睡了过去。