龚家涛的厚脸皮,而龚家涛跟余永俊则商量好了,这次回学校之后,一定要找些同学,也跟他们玩边打游戏边解题的游戏。
他们甚至私底下偷偷试了试,如果把奥赛题换成高中一般的普通练习题,还是能拿捏的。
当然竞赛规则要稍微改改,以及不能跟那些游戏玩的很强的家伙对局。
但这些似乎也不是什麽问题,他们所在的高中对于普通学生而言,能跟上大部分同学的步伐,就已经需要竭尽全力,并没有太多馀力放在游戏上。
毕竟这年头求学阶段真正有资格在游戏上挥霍些时间的,还得看小学生但两人的理由也很充分,只有找回被人踩在脚下的自尊,才能重新收获自信,在国际大赛中获得好成绩。
从这一点上来说,四人朋友群里,能一笔写出良善两个字的,大概还真只有馀伟。
不过乔喻无所谓。
唯一让他曦嘘的是,最近连田导跟对面的师爷爷回他消息都越来越慢了。
好吧,学期伊始,大佬们都是很忙的,乔喻如此安慰着自己。
但也还是有收获的,比如回消息越来越慢的潘教授某天突然冒泡,直接给乔喻发来了一个地址,并给了他一个帐号密码。登陆之后,乔喻便发现里面最新的几个视频全是关于几何朗兰兹猜想近期召开的各类报告会视频。
虽然主讲还是由丹尼斯跟山姆两位主要领军人物,但也包括了整个团队的所有人,其中也有潘教授,几场报告会论证的侧重点也有所不同。
乔喻还敏锐的注意到,那个男人是出镜第三多的···
毫无疑问,对于乔喻而言,这些报告会的探讨内容非常有用,也的确解开了他不少疑问。
比如对于论文的整体证明思路,有了一个高瞻建的了解,这样再去通读论文细节的时候,很多之前想不明白的问题,就能迎刃而解。
最重要的是,这让他愈发肯定自己的直觉也许没错。
在通过将一致等价性结果扩展到一般情况的时候,需要频繁的使用代数几何或范畴论中的局部-全局现象定位与全局的相互作用。那麽如果在局部调用时出现一些微小的错误,必然会引起全局性的错误。
这甚至可能导致作者们所证明的那个关键定理一一abideterity适用性可能在某些特定情况下受到限制要知道最后一篇论文,就是利用这一结论,将猜想推广到一般情况,如果最关键的abideterity定理适用性在论文所探讨的情况下受到限制,那麽这次关于几何朗兰兹猜想的证明只能宣布失败。
但乔喻想要证明这一点依然不是简单的事情。
因为这篇论文本身就依赖于特定的公理和设定,高阶范畴论中的结果在特定的上下文中是正确的,但如果公理或范畴结构发生变化,定理的适用性也可能会受到影响。
甚至在几何朗兰兹纲领中,利用该定理处理的某些复杂同调代数问题已经得到了成功的解决。
用普通人能理解的话说便是,这篇论文是在数学家自行构造的环境中所做的结果,依赖于特定的理论背景和假设。想要证明有问题,乔喻可能需要想办法证明构造出的整个框架有逻辑漏洞。
要知道现代数学中,公理化系统和范畴论框架的自洽性本就是高度严谨的。任何质疑或试图发现逻辑漏洞的工作都必须基于更严密的推理和创新的视角,这使得质疑这种构造的任务极其困难。
但数学方面想要证明错误的时候,也有一个最取巧的办法,那就是构造一个反例。
反例在数学上是非常有力的工具,可以直接展示某个定理或推论在特定条件下不成立。理论上只要他能在对方搭建的这套逻辑框架下,精心设计出一种代数几何情形,且让局部对象无法