第183章 来而不往非礼也(2/2)
众所周知,证明一个引理正确是很难的,但要证明一个引理错误,只需要找到一个反例,就足够了,这相对来说就简单得多了。
当然,构造反例的过程,同样没那么简单。
“难道那个小子真的找到了一个反例?”
布莱恩特不相信,他拿起马克笔,开始在身旁的白板上演算起来。
台下的邦德双眉紧锁,这些天他一直有些不安,直到这一刻,所有的不安都化作实质,变成陈辉说出的那个式子,如同利刃般向他扎来。
根据“证明”中的条件计算瞬子解的散度……
布莱恩特对这套证明十分熟悉,整个计算过程也无比迅速,很快,他将结果带入全局积分中检验,最后得到∫fa(x)d4x=8π2q=0!
啪嗒!
马克笔掉落在舞台上发出清脆的响声。
论文中的“完美证明”如同一座宏伟的哥特式教堂,尖顶直指四维非阿贝尔规范场的天堂。然而,当验算者手持拓扑的烛台与能量的量尺踏入教堂地窖时,却发现了裂缝中渗出的异样微光——那是瞬子幽灵的低语。
前排的大佬们终于是眉头舒展。
他们终于知道哪里不对劲了。
布莱恩特的证明过程中混合nash-moser、uhlenbeck、osterwalder-schrader等权威理论,形成逻辑连贯的假象,并且每个步骤在特定限制下成立,比如无拓扑荷、三维空间,但推广至四维非阿贝尔场时失效,压缩性在“小解”范围成立,证明中未显式声明解的全局性限制……
这一系列伪装,让他们这些混迹数学界多年的老人也都着了道,差点被迷惑,没能找到其中的破绽,只是凭借多年的数学直觉察觉到了一些不妥。
这让他们不由自主的看向那个站在报告厅中间位置的小家伙。
好年轻!
这是他们看向陈辉的第一反应。
好敏锐的洞察力!
天生就是搞数学的好苗子!
他们察觉到布莱恩特论文不对劲后,也曾费过一些时间去研究,却最终一无所获,没想到最后反而被一个小家伙找到了破绽,即便他们没有全力以赴的去寻找这个问题,也足以说明这个小家伙的优秀。
“是他?”
费弗曼认出了陈辉,这不正是威腾看重的那个小家伙吗?
“也只能是他了!”
阿兰孔涅啧啧称奇,五味陈杂,回想起了那日在草坪上课时,无意中闯入的小家伙。
可惜两人终究是没有师徒的缘分。
“他是谁?”
旁边的法尔廷斯和德利涅好奇的问道。
“明天就有他的报告会,到时候你应该就能认识他了!”
费弗曼没有多说。
“报告会!”
法尔廷斯两人瞳孔微缩。
那小家伙才多大?
就能在这种级别的会议上作报告了?
也不怪他们孤陋寡闻,这些天他们都在忙着自己的研究,关注这个会议也多是关注袁新毅和布莱恩特的成果,以他们的身份,自然不可能去关注一个三十分钟报告会。
“今年imo满分金牌得主!”
一旁的阿兰孔涅补充到,他越来越从这个小家伙身上看到了舒尔茨陶哲轩的影子,未来,这个小家伙的成就,或许能超越那两位前辈!
“???”
法尔廷斯的暴脾气都准备骂人了。
imo这种小朋友过家家的都来了?
“他刚在数学年刊上发表了一篇关于凝聚态物理的论文,也是他明天报告会的内容……”
幸好这时塔拉格兰终结了谜语人的恶趣味,一五一十的说起了陈辉这几个月的学术成就。
布莱恩特看着白板上最后演算出来的结果,大脑一片空白。
他也曾经对这个证明感到有些恍惚不安,但他以为那只是陡然获得巨大成功后的正常反应,直到这一刻他才发现,那是身体的本能在向他示警。
数学家不怕错误,他并不觉得当众被指出问题所在有多难堪,但三年心血一场空,他还是忍不住陷入茫然。
曾经那么多期盼,如今都成了一场空。
酒会、菲尔兹奖……一切都如梦幻泡影。
“没关系,找到问题反而是好事,只要解决这个问题,我们距离杨米尔斯方程又能再进一步!”
布莱恩特心志也是极其坚定,若非如此,他也不可能如此心安理得的抄写他人论文。
他坚信,他们最终还是能够解决这个问题,无非是中间多了些波折而已,就像当年怀尔斯证明费马大定理一样!
可惜,他还不知道,陈辉已然完成了杨米尔斯方程存在性的证明,他已经没有时间,也没有机会了。
直到这时,报告厅中才一片哗然,其他人才明白到底发生了什么。
那篇在他们眼中完美的论文,竟然存在致命缺陷。
杨米尔斯存在性证明,竟然只是一场美丽的误会。
这个困扰了学界数十年的难题,在惊鸿一瞥后,再次无情的拉上了面纱。
或许等他再一次出现在大家面前,已经又是几十年后了,一如其他千禧年难题一样。
遗憾的情绪出现在所有人心头。
虽然他们看完这篇论文时就觉得不对劲,想要找到它的漏洞,可当漏洞真的出现在他们眼前时,他们还是为此感到惋惜。
做完这些,陈辉没有再次坐下,而是转身走出报告厅,他还有更重要的事情要做,没时间在这儿浪费。
这时舒尔茨也终于看完助手发过来的验证结果,他找不到有什么问题,他的直觉告诉他,这个证明是对的!
所以,陈辉真的完成了杨米尔斯方程存在性的证明?!
“若真是这样。”
舒尔茨看向陆续离场的法尔廷斯等人,“那为什么不让陈辉在这次会议上汇报杨米尔斯方程证明的内容呢?”
他承认陈辉那篇论文很有潜力,但比起已经证明了自己价值的杨米尔斯方程,那篇论文也只能再往后稍稍。
换题,必须换题!
一念及此,舒尔茨迈步向欧洲数学学会主席布吉尼翁走去。
(本章完)