第917章
“我一直都在思考这个问题!”
陈舒简直不像是在做一场正规的学术报告,而是把讲台当成了他演讲的地方。
一众华人数学家听得陈舒的这些言论。
也都不禁皱起眉头。
认真地思索了起来。
不多时。
有人站起身,开口问道:“陈舒博士,那么你认为是哪一种原因导致的呢?是问题本身就太难?还是我们的工作效率,太低?”
陈舒风趣了一句:“这位学界前辈,我还没拿到博士学位,还不是博士。”
“哈哈哈!”
一众大佬被陈舒这幽默的话给逗乐了!
的确有点荒诞!
陈舒的学术成果,不管是今年证明的广义黎曼猜想,还是之前证明的一个朗兰兹纲领的问题,或者零点猜想。
都足以让他拿到博士学位了!
甚至可以拿好几个博士学位!
但到现在,陈舒的名义上,还只是一个博士研究生!
就像是一个拯救了世界的超人,他的身份,还只是一个下等兵一样!
陈舒又道:“话说回来,我认为啊,的的确确是工作效率太低了!”
“但是我不认为是我们数学家本身的问题!”
“而是我们像当年的牛顿和莱布尼茨一样,像跟他们同一时代的那些数学家们一样,急需一个全新的、更加高效的数学工具!”
“是工具本身的问题!”
陈舒如是说道。
立刻就又有人起身问道:“陈舒先生,请问您多次提到的所谓的数学工具,到底是什么呢?”
“我曾经也参与了您的论文审稿工作,拜读了您的大作!”
“但是恕我眼拙,并没有从中看出,陈舒先生您创造了一个前所未有的什么数学工具,还请指教!”
对方的态度很诚恳,对真理的渴求溢于言表。
其他在座的数学家,也大都如此!
只有姜月妍,她的漂亮杏眼之中,完全没有对真理和对知识的渴望。
有的全是对陈舒本人的渴望!
以及对他的打心底里的崇拜!
陈舒与媳妇儿对视了一眼,嘴角的笑意更胜几分。
他收回目光,转而看向提问那人,解答道:“好!我也不再向各位卖关子了!”
“正好今天这一场数学家大会,后续也会有影像资料传出。”
“我在这里,就跟大家坦诚,这次的广义黎曼猜想的彻底证明,严格意义上来说,不只是我一个人的功劳!”
陈舒此话一出,全场更加懵逼了,面面相觑一番。
“什么意思?不是他一个人的功劳?”
“难道说,陈舒的论文,是剽窃的?他窃取了别人的劳动成果?”
“怎么可能?!”
“对啊!你也证明一个黎曼猜想试试?给我看看?”
“那他说这话是什么意思?”
“继续听!”
众人七嘴八舌地喧嚣议论了一番。
陈舒却是依旧从容自若,他将目光投向了一脸花痴模样望着自己的媳妇儿。
他微微摇头,宠溺失笑。
陈舒开口提醒道:“宝宝,把我的双肩包给我拿上来一下。”
“哦哦,好的。”姜月妍被老公这样一提醒,立刻回魂过来,嘻嘻一笑。
接着,她便拎着陈舒的双肩包,上了台。
站在了陈舒身旁。
陈舒打开包,拿出笔记本电脑,还有一个印有虹猫蓝兔图案的移动硬盘。
操作了一番之后。
陈舒投屏到了后面的多媒体上面,接着,他点开了一个名叫“overmath 2.0”的图标。
出现了一个所有人都没有见过的界面。
“这是什么软件?”
“怎么从来都没有见过?”
“难道这就是陈舒所说的数学工具?跟咱们以前用过的数学工业软件,有什么区别?”
“看不出来,不过看上去,平平无奇啊!”
有人高喊道:“陈舒!这是什么东西啊?”
陈舒笑着看了看那人,目光接着扫视全场,不疾不徐介绍道:
“这就是我今天要向大家介绍的数学新工具,也就是如大家所见到的——overmath!”
“它的意思是,秒掉数学中所遇到的问题、难题!”
全场瞬间哄笑一片:“哈哈哈!这个名字挺有趣的!”
“不过,真的有这么神吗?”
“陈舒不会就是用这个软件,帮他解决的黎曼猜想吧?未免也太离谱了!”
“对啊!我真的想象不到,什么样的软件,能够解决克雷数学研究院提出的七大数学难题之一啊?”
“我也觉得,一个软件的能力是有限的,是死板的!死板的工具,再怎么用,也不可能解决需要高度活跃思维的数学研究课题!不科学!”
众人又是一阵叽叽喳喳的议论声。
其中不乏对陈舒和这数学工具的质疑。
包括前几排的知名数学家。
也都对此有所怀疑。
他们不相信,一个软件,能够助力一个数学家,解决黎曼猜想这样的难题!
太不合理了!
陈舒听到了他们的一些议论,对此置之一笑。
再多的言语,也比不上行动来证明。
他只是将一个前沿的数学研究课题,丢进了“overmath”之中。
接着,手指芬芳,输入了一串指令。
这时,在座的数学家们,满是疑惑地看着大屏幕上投影的图像。
有人疑惑道:“深度思考中?什么意思?”
“难道说,这个软件还能够独立思考吗?”
“有可能这么神奇吗?”
“等一下!”
“这个数学课题,不是我正在研究的一个代数几何的猜想吗?我和我的合作者,已经花了两年时间在这上面了!陈舒这是要做什么啊?”
“快看!快看!!屏幕上的内容出现变化了!”
“好多的数学符号……这个是?演算过程吗?”
“我的天!!”
“好快,一眨眼的功夫,就生成了一堆的数据!这都是些什么啊?”
“有哪位代数几何领域的同行,出来说两句?”
“…………”
看到陈舒所演示的“软件”,居然真的能够按照他输入的指令进行演算。
给出解决的思路!
众人惊呆了!
而那位正在研究这一课题的数学家,更是直勾勾地站起来了。
他目瞪口呆地看着屏幕上投影的一幕幕。
熟悉!
太熟悉了!
但是这熟悉的课题,却是又给了他一种陌生感!
焕然一新的思路!
他好像,悟了?!
两分钟过后。
长达十几页的分析过程,展现在了在场所有数学家的眼前。
陈舒这才笑着开口道:“如各位所见到的,刚刚我只是将一个前沿的数学课题,再加上一串指令,比如我刚刚输入的‘我要解决这个问题,可以的话,给我详尽的全部证明过程,如果你无法直接解决这个问题,给我一些解决这个问题的思路’,然后我们的overmath就输出了它深度思考之后的结果!”
“我想在座的应该有代数几何领域的大牛吧?有没有哪位是恰好研究过这个课题的?”
“我!我研究过!!”立刻有人举手,赶忙挤到过道,朝着讲台跑过去。
站在投影的屏幕前,他上下审视。
摘掉了眼镜。
沉迷其中。
也有另外两位做过这一研究的数学家,也都不顾形象,上台了,观摩齐了这overmath给出的思考过程。
陈舒看到这一幕,耸了耸肩,冲着大伙儿无奈一笑。
毕竟一个数学家在思考的时候,不好去打断人家的思路。
大家也都笑了笑。
有前排的数学家大佬,问道:“陈舒,你这个软件,到底是怎么做到的?”
另一位也问道:“这个软件,它为什么能够深度思考?它有自己的思想吗?”
陈舒回道:“陶教授,邱院士,我需要纠正一点,我所使用的这个全新的数学工具,并不是一个所谓的软件,而是一个人工智能大模型!”
“既然是人工智能大模型,那么它自然能够深度思考,也能够有自己的所谓的‘思想’,但是它终究是一个专注于数学领域的研究工具,现在和可见的将来,还不会出现类似于人类的思维,大家可以放心。”
陈舒谈笑风生之间,解释了一番,介绍了一下“overmath”的真实身份。
听到人工智能大模型这个介绍,全场数学家们,都不淡定了!
各个瞪大了眼珠子,不可思议地望着陈舒。
望着大屏幕!
怎么可能呢?
人工智能?大模型?怎么就这么水灵灵地出现了?诞生了?
这、这……