年前,他当着几千人的面骂罗杰斯和陶哲轩只会拿着计算机,一位小数一位小数的去黎曼猜想。
可这一个礼拜,他坐在这间办公室里,被一台机器控制着,在干同一件事。
他当然知道,这不对。
可他更清楚,要是不跟着 AI走,他这辈子都没办法看见黎曼猜想被证明出来的那一天。
可现在,这一天好像就在眼前了。
虽然十一分之一也不是 0,这道缝隙只要还在,黎曼猜想就还只是猜想。
可是他真的看到了希望。
他看着墙上黎曼的字迹,看了很久,然後发了一条消息过去。
【照你的这个办法,这个常数最後真的能压到 0吗?】
【能,等把这篇论文做完,我们再从 10^(-9)继续往下压。】
【你只需要按照我说的做就可以。】
布伦内克犹豫了很久,他打出了一行字,随後又删掉,又打出了一行字,接着又删掉,最後他只发过去一条消息。
【我在 2018年说过,黎曼猜想是写给上帝看的。】
【我知道,你那份讲稿我有看过,你的判断并没有错,黎曼猜想确实不是写给人类看的。】
布伦内克看着 AI的回答,过了好一会,他突然笑了。
是啊,他当时说的没错,黎曼猜想,好像人类真的证不出来。
只不过当年他怎麽也没想到,有一天,会有一个不是人的东西坐在他的对面,教他怎麽一步一步将黎曼猜想证明出来。
而且现在已经迈出了最重要的一步。
就在这时,屏幕上弹出了一份新的文件。
AI已经把整篇论文排版好了,标题、摘要、参考文献也全都补齐了
【论文已排版完成,建议投稿《数学年刊》,请确认。】
这篇论文的标题叫做《德布鲁因纽曼常数不超过 10^(-9)》。
作者那一栏写着两个名字。
【OpenAI、约阿希姆·布伦内克。】
布伦内克看着这个署名,皱着眉头发过去了一条消息。
【在数学论文的署名惯例里,我们一般是按照姓氏的字母排序的。】
【那是你们人类的惯例。】
布伦内克没有再说什麽,几秒锺後,他点下了提交。
……
6月初,美国洛杉矶。
加州大学洛杉矶分校数学系的一间办公室里。
陶哲轩正看着电脑上的一篇论文。
【德布鲁因纽曼常数不超过 10^(-9)。】
这段时间里,他都不知道是第几次拿起笔,把这篇论文从头到尾的推算了一遍。
可不管他怎麽算,都挑不出一个错误来。
10^-9,这个常数竟然已经被压到了这麽吓人的地步。
要是换做以前,这样一篇论文送到他的手上,他恐怕会无比的激动。
因为不管是谁写出了这篇论文,他的名字都会被写进解析数论的历史里。
可这一次,他看着作者那一栏,却沉默了。
【OpenAI、约阿希姆·布伦内克。】
16年前,在里约就是这个人当着几千人的面说,他们拿计算机去凑黎曼猜想,是对黎曼猜想的冒犯。
可现在,这个人自己的名字居然排在了一个 AI的後面。
陶哲轩说不上来自己心里是什麽样的滋味。
他曾经也是最早把 AI拉进数学研究里来的人之一。
可是这大半年,他亲眼看到了 AI把一个又一个年轻人的课题全部毁掉以後,他开始怀疑AI这个
-->>(第8/10页)(本章未完,请点击下一页继续阅读)