第二天上午九点整。
陈默的抖音账号发布了一条新视频。
不是五秒的预告。
是整整四十七分钟的实录。
镜头对准了他书桌上那一百多页稿纸。
他没有露脸,只有一双手在稿纸间翻动。
偶尔停下来。
指着某个公式或某段推导。
用平静的声音解释。
视频的标题只有四个字:“证明过程。”
他没有加“庞加莱猜想”。
没有加“震惊世界”。
没有加任何吸引眼球的词。
就是四个字。
“证明过程。”
象一个数学老师在黑板上写完最后一道题。
转过身说“下课”。
然后走出了教室。
视频的开头,他翻到了第一页。
上面写着标题,下面是一段引言。
他的声音从画面外传进来,不大,但很清淅。
“庞加莱猜想的证明,我从里奇流开始。”
“里奇流是哈密顿在二十世纪八十年代引入的工具,它的内核思想是让一个黎曼流形按照曲率的某种函数演化,最终变成一个更简单的型状。”
他翻到第二页。
外行人已经开始懵了。
“ric(g)又是什么?”
“黎曼流形?我只听过黎曼猜想。”
“他说的是中文吗?每一个字我都认识,连在一起我就听不懂了。”
弹幕上飘过一片问号和“听不懂”的哀嚎。
但内行人的反应完全不同。
北大数学系的林致远教授坐在书房里。
面前摊着打印出来的截图,旁边放着一支笔和一个笔记本。
他听到“里奇流”三个字的时候,身体微微前倾了五厘米。
这不是胡扯,这是真正的里奇流方程。
而且他引用的版本是哈密顿原始论文中的精确表述。
一个十八岁的少年,不仅知道里奇流,还能准确写出它的演化方程。
这已经超出了他对“天才”的所有认知。
陈默的声音继续。
他翻到第六十页。
“这是约化体积的定义。约化体积是一个单调递减的函数,它在奇点分析中起到了李雅普诺夫函数的作用。佩雷尔曼用它证明了,在三维流形中,里奇流的奇点结构是可控的。”
弹幕上,外行人已经彻底放弃了。“他在说什么?约化体积?李雅普诺夫?”
“我放弃了,我等结论。”
“有没有数学系的出来翻译一下?”
“数学系的也听不懂,这是微分几何的前沿。”
“也就是说,他说的是对的?”
“不知道,但听起来很专业,不象胡扯。”
内行人则在疯狂地记笔记、截图、查资料。
有人在微博上发了一条消息。
“我是拓扑学方向的博士生,我听了陈默的前二十分钟,我可以负责任地说,他不是在胡扯。”
“他说的每一个定义、每一个引理、每一个推论,都是正确的,逻辑链条是完整的。我目前没有发现任何漏洞。”
这条消息被转发了十万次。
评论区里有人问:“所以他是真的证明了?”
博主回复。
“需要时间验证。但他的思路是正确的,这一点我确定。”
陈默翻到了最后几页。
“在完成了里奇流的奇点分析和手术过程之后,我们得到了一个结论——任何一个单连通的、闭的三维流形,经过有限次手术之后,都会演化成一个标准的三维球面。”
“这意味着,原始的流形与三维球面同胚。这就是庞加莱猜想的证明。”
他合上稿纸,沉默了一秒。
“以上是我对庞加莱猜想的证明,每个部分的关键引理和推论都在视频中做了简要说明。”
“详细的推导过程,我已经上载到了arxiv。欢迎全世界的数学家验证。”
视频结束了。
四十七分钟,一个少年,一双手,一百四十七页稿纸。
弹幕上,最后一条评论是:“不管对不对,他已经比我强一万倍了。”
全网炸了。不是慢慢炸的,是瞬间炸的。
那条视频发布后一小时,播放量破亿。
arxiv上的论文下载量在两个小时之内突破了一万次。
服务器差点被挤爆。
微博上,“陈默证明庞加莱猜想”的词条后面跟着一个紫色的“爆”字,阅读量破亿。
抖音上,陈默的账号粉丝从两千万涨到了三千万,还在往上蹿。
质疑的声音没有消失,但变了调子。
“我不信,一百多年的数学难题,七天?就算他真的证明出来了,也一定有问题。”
“你们别急着吹,先让数学家验证,验证通过了再吹不迟。”
两边的声音象两条河流,在同一个河床上碰撞、翻涌、谁也不让谁。
而河流的中心,那个