其实证明黎曼猜想的路从来都不止一条。
有人从算子上找,有人想走韦伊的那条路,也有人去压德布鲁因-纽曼常数。
而压常数这条路呢,每一步都有迹可循,所以走的人最多
现在有人用 AI一口气将其压到了十亿分之一,眼看着距离 0就只差那麽一点了,李东当然有些好奇。
论文他翻得很快,里面有几处估计,确实做得相当的漂亮。
可看完以後,李东就知道,用这个方法永远都证明不了黎曼猜想。
因为它实在是太老实了。
这个论文里把这个常数一位一位的往 0上去推进,每一步都相当的紮实。
可不管他怎麽推进,推进到第几位,这个常数和 0之间,永远都隔着一位。
而黎曼猜想从诞生以来,就不是一个老实的猜想,黎曼也不是一个老实的人。
所以要证明黎曼猜想,这种老实的方法根本行不通,它需要某些人的灵光一闪,指着黎曼猜想说道。
“这个证明天生就该是这个样子的,不需要人去证明,只是在等待人发现。”
李东看完就把论文还给了田钢。
“田老师现在数学界怕是因为这篇论文,已经慌得不行了吧?”
田钢皱着眉头点了点头。
“可不是吗?一个个的,天天就担心 AI要把数学给干没了,一点深沉都没有。”
他说这话的时候,脸不红心不跳的,完全忘了自己刚看到这篇论文的时候,心里慌成了什麽样。
李东笑着听完,然後指了指桌上的电脑。
“那田老师,就麻烦您把我的这篇论文投到 PMJ吧,正文我前几天就整理好了。”
田钢此时搓着手,笑着答应下来。
“行,交给我了。”
李东打了个哈欠。
“好的,那我就先回去睡一觉,这一个多月都没怎麽睡。”
……
次日上午,燕达 PMJ编辑部。
杨胜果端着保温杯坐在办公室里,眉头皱着。
这段时间,PMJ收到的投稿里,借着 AI做出来的论文是越来越多了。
有一些一看就是胡说八道,公式套公式,连定义都是错的。
可也有一些是真的对,形式化验证也跑通了。
这样的稿子到底该怎麽审?燕大学术期刊中心前前後後开了好几次会,最後也没有定下个结论来。
特别是在数学年刊发了那篇关於德布鲁因常数的论文以後,问题就更严重了。
以前这些论文再怎麽借用 AI,作者栏里的署名都是数学家的名字,AI顶多算是个工具。
但那篇论文的作者栏里,排在第一位的可是 OpenAI啊。
此时纪明川拿着两份稿子走了进来。
“杨主任,川大何老师那篇做短区间素数分布的稿子,送审都快两个月了,今天早上同一个问题又投进来了一篇论文,证明是完整的,但是作者署名里,有一个大模型。”
“所以咱们到底发哪一篇呀?”
杨胜果看着面前的两份稿子,眉头皱得更深了。
川大的何译文老师,他是见过的。
去年在蓉城开会的时候,何老师拉着他聊了半个锺头,说短区间的素数问题,他已经做了 3年了,下一回评副教授就全指着它了。
可问题是他只证了一半呀!
而另一个稿子,是完整的证明。
杨胜果这叫一个纠结呀。
就在这个时候,他办公桌上的电话响了起来。
杨胜果看了一眼来电显示,赶紧接了起来。
-->>(第2/4页)(本章未完,请点击下一页继续阅读)