陆知行的话让c216安静了一下。
顾南舟看着他,又看了一眼江临。
直到这时候,他的大脑才像是从亢奋的数学推演中被强行拽回现实,开始意识到一个荒谬的细节。
过去整整一个小时,c216讨论室里所有人的注意力,全都犹如被磁石吸附一般,钉在那几张草稿纸上。
他们验算边缘,检查顶点,穷举局部拓扑结构,甚至在脑海中疯狂构建着二维平面上的层级结构。
那是纯粹的数学世界,在那个世界里,没有年龄,没有学历,只有逻辑。
但他们还没有真正确认江临的身份。
“陆教授,我再确认一句,江临现在是你们物理学院的硕士,还是博士?”
陆知行沉默了一瞬。
他太清楚这句话对顾南舟,对整个数学界意味着什么。他直视着顾南舟的眼睛,说:“都不是。”
顾南舟怔了一下,随即眉头紧锁,脑海中闪过江大拔尖人才培养计划的名单:“本科生,少年班的?”
“也不是。”
陆知行的回答依旧简短,但每一个字都像是一把重锤。
陈彦下意识抬起头,眼神中充满了迷茫和震惊。
顾南舟的目光一点点落回江临身上。
陆知行深吸了一口气,终于将那个足以撕裂常识的答案说了出来:“他是江城七中的高中生,还有一个多月高考。”
这句话落下去,c216像被人按下了静音键。
陈彦的嘴唇动了动,似乎想笑,但面部肌肉完全不听使唤,最终只是低声重复了一遍:“高中生?”
这算什么?
一个正在复习五年高考三年模拟的高三学生,跑到江大数学系的专业读书班上,随手画出了一块可能解决离散几何领域长达六十年悬而未决的爱因斯坦难题的非周期单砖?
顾南舟的第一反应不是质疑。
因为如果是质疑,他在看到那张局部邻域表的时候就已经质疑过了。
他的反应是重新看江临的脸。
刚才他一直在看纸,看边,看角,看那张用代数拓扑学语言隐晦表达的表格。
直到这一刻,他才真正注意到,坐在这间讨论室里旁听,只用普通中华铅笔画出那块十三边形的学生,脸上果然还带着少年人未完全褪去的轮廓。
果然,天才出少年吗?
还是说,数学的上帝今天决定在江大开一个荒诞的玩笑?
顾南舟深吸一口气,强行压下胸腔里翻滚的巨浪,理智告诉他,现在不是震惊的时候。
他转过身,对周遭还在围观看热闹,同样被震得大脑宕机的学生说:“同学们,今天读书班已经结束,内容大家回去自己再消化消化。关于这张图,这块多边形的事,出门之后别提。在没有经过严格的形式化验证之前,这还只是一个思想实验。”
学生们面面相觑,但导师既然已经叫散,且语气中带着不容置疑的威严,他们也只能陆续收拾书包离开。
有人走到门口,又忍不住回头看了一眼那个似乎对周遭一切震惊都无动于衷的少年,欲言又止,终究没说什么。
很快,略显宽敞的教室里只剩下顾南舟、陈彦、江临和陆知行四个人。
顾南舟转过身,眼神已经恢复了作为江大数学系中坚力量的冷静。
他说:“身份的事放一边,先验砖。”
验砖这两个字说出来以后,屋里那种漂浮在半空中令人眩晕的震惊才终于落回地面,找到了重力的支点。
对。
先验砖。
不管是高三生、本科生,还是菲尔兹奖得主。
数学不看身份证,不查户口本。
它只看你的逻辑链条是否闭合,只看你有没有把问题彻彻底底地解决。
顾南舟拿出手机。
南大那边的信息一条接着一条地弹出来。
【顾南舟,我认真问你,你是不是在预印本网站上看到个未发表的粗糙构造,自己没核对就激动了?】
在这个圈子里,越是惊人的消息,越要先假设它是假的。
自从1961年王浩提出王氏砖并猜测任何可以铺满平面的图块集都可以周期性铺满以来,这个领域见证了太多次的希望与幻灭。
1966年,Robert berger证明了王浩的猜测是错的,并给出了第一组非周期图块,但那需要块砖。
后来,Robinson将其降到了6块。
再后来,罗杰·彭罗斯用飞镖和风筝将其降到了着名的2块。
几十年来,全世界的顶尖大脑都在寻找那一块砖。
一块能够且仅能以非周期方式铺满无限二维平面的单一连通图块。
Socolar和taylor在2010年找到过一块,但那块砖是不连通的,或者需要复杂的匹配规则,在纯粹的几何拓扑上并不完美。
现在,有人说找到了一块纯粹的,没有任何附加匹配规则的单一多边形?
对方发来这条信息,不是在质疑顾南舟的眼光,而是在替他兜底。
万一是误判,现在收手还来得及,不至于惊动上面那条线,召开正式研讨会之后再尴尬收场。
顾南舟手指飞快地在屏幕上敲击,回了四个字。
【现场画的。】
那头沉默了几秒,仿佛能顺着电波感受到对方倒吸凉气的声音。
【你的学生?】
顾南舟看了一眼江临。
【不是,隔壁物理学院青年pI带来的挂名学生。】
说话间,陈彦已经将会议室的投影连上,又满头大汗地跑去隔壁教研室借来了一台高精度扫描仪。
他小心翼翼地,仿佛对待孤本一般,把江临刚才画的几张纸一页一页扫进电脑。
陈彦看着屏幕,手都在抖。
文件名被顾南舟临时要求命名为:预核_江_扫描件.pdf。
“现在它还只是候选构造,在完整证明和复核完成之前,不要把它称作定理,也不要对外说已经解决。”顾南舟对江临解释了一句临时命名的问题,语气中带着保护的意味。
陆知行表示没问题,他懂这些规矩。
江临更是不会说什么。
他连个大学生都不是,关于预印本,候选构造这些学术圈的规矩和潜规则,他是不怎么清楚的。
他只是站在那里,看着自己脑海中推演了无数遍的几何结构被放大在幕布上。
十几分钟后,加密视频会议接通。
投影幕布被均分为左右两块。
左边出现一个五十岁左右的男人,头发花白,戴着厚厚的无框眼镜,背景是堆满了外文期刊、打印纸和各种多面体模型的办公室。
顾南舟沉声介绍:“江临,陆教授,这位是林照野教授,南大数学系,做离散几何与组合拓扑的权威。”
右边是一个四十多岁的女人,一头干练的短发,戴着黑框眼镜。
她身后的白板上还残留着几组准晶衍射图和密密麻麻的投影关系。
“邵明棠教授,中科院理论物理所,做准晶和非周期材料结构的专家。”
这是顾南舟先前通过短信紧急邀请的两位离散领域的绝对专家。
原本这种级别的非正式会面极难凑齐,但这二位大佬在经过初步沟通、看了顾南舟拍过去的一个残缺局部图后,已经等不及今晚的常规通话了。
他们推掉了晚上的会议,只想尽快看一看这个传说中的单砖。
两个人上线后,顾南舟极其简练地介绍了一下江临与陆知行。
视频两头彼此之间都没有任何多余的寒暄。
到了他们这个级别,废话是对时间的亵渎。
林照野看着屏幕,五分钟后,他缓缓开口:“这就是你说的那块,本不该存在于二维平面的砖?”
顾南舟点点头:“候选,目前只是候选。”
林照野点点头:“好,先按候选看看,边缘角度是不是全都是π/6的整数倍?”
江临站在桌边,语气很平:“是的,所有角都落在同一套30°辅助网格上,边长也只取有限几类比例。真正要验证的,不是视觉像不像,而是这套有限角型能不能封闭成完整的局部状态表。”
“原稿现在在谁手里?”邵明棠插话道。
顾南舟把手按在那个硬壳文件夹上:“在这里,陆知行教授也在场作证。”
邵明棠的语气不容置疑:“先别公开,不要发微信群,不要发朋友圈,不要在任何社交媒体上留痕,更不要让刚才那些学生拍照外传。如果这东西是真的,这就是本世纪几何学最大的突破之一。如果是假的,提前走漏风声会让江大数学系沦为国际笑柄。”
顾南舟看了一眼陈彦。
陈彦立刻像触电一样把手机反扣在桌上,屏幕朝下,甚至举起双手示意:“明白,绝对保密。”
林照野推了推眼镜,身子前倾,仿佛要从屏幕里钻出来:“开始吧,先别急着说它能不能抵御周期性,咱们一步一步来。第一步,先证明它不是你信手涂鸦画出来的死胡同。”
顾南舟敲击键盘,把江临刚才画的几块由单砖组合而成的拼接图放大。
林照野盯着那些齿轮般咬合的边缘,问了一个最根本的问题:“它能不能铺满?”
在数学上,铺满意味着覆盖整个R2平面,且没有任何缝隙,也没有任何重叠。
“能。”
江临站在桌边,神色依旧没有起伏。
“怎么铺?”林照野追问,眼神极具压迫感,“你不能给我看一个局部的漂亮图案,
顾南舟看着他,又看了一眼江临。
直到这时候,他的大脑才像是从亢奋的数学推演中被强行拽回现实,开始意识到一个荒谬的细节。
过去整整一个小时,c216讨论室里所有人的注意力,全都犹如被磁石吸附一般,钉在那几张草稿纸上。
他们验算边缘,检查顶点,穷举局部拓扑结构,甚至在脑海中疯狂构建着二维平面上的层级结构。
那是纯粹的数学世界,在那个世界里,没有年龄,没有学历,只有逻辑。
但他们还没有真正确认江临的身份。
“陆教授,我再确认一句,江临现在是你们物理学院的硕士,还是博士?”
陆知行沉默了一瞬。
他太清楚这句话对顾南舟,对整个数学界意味着什么。他直视着顾南舟的眼睛,说:“都不是。”
顾南舟怔了一下,随即眉头紧锁,脑海中闪过江大拔尖人才培养计划的名单:“本科生,少年班的?”
“也不是。”
陆知行的回答依旧简短,但每一个字都像是一把重锤。
陈彦下意识抬起头,眼神中充满了迷茫和震惊。
顾南舟的目光一点点落回江临身上。
陆知行深吸了一口气,终于将那个足以撕裂常识的答案说了出来:“他是江城七中的高中生,还有一个多月高考。”
这句话落下去,c216像被人按下了静音键。
陈彦的嘴唇动了动,似乎想笑,但面部肌肉完全不听使唤,最终只是低声重复了一遍:“高中生?”
这算什么?
一个正在复习五年高考三年模拟的高三学生,跑到江大数学系的专业读书班上,随手画出了一块可能解决离散几何领域长达六十年悬而未决的爱因斯坦难题的非周期单砖?
顾南舟的第一反应不是质疑。
因为如果是质疑,他在看到那张局部邻域表的时候就已经质疑过了。
他的反应是重新看江临的脸。
刚才他一直在看纸,看边,看角,看那张用代数拓扑学语言隐晦表达的表格。
直到这一刻,他才真正注意到,坐在这间讨论室里旁听,只用普通中华铅笔画出那块十三边形的学生,脸上果然还带着少年人未完全褪去的轮廓。
果然,天才出少年吗?
还是说,数学的上帝今天决定在江大开一个荒诞的玩笑?
顾南舟深吸一口气,强行压下胸腔里翻滚的巨浪,理智告诉他,现在不是震惊的时候。
他转过身,对周遭还在围观看热闹,同样被震得大脑宕机的学生说:“同学们,今天读书班已经结束,内容大家回去自己再消化消化。关于这张图,这块多边形的事,出门之后别提。在没有经过严格的形式化验证之前,这还只是一个思想实验。”
学生们面面相觑,但导师既然已经叫散,且语气中带着不容置疑的威严,他们也只能陆续收拾书包离开。
有人走到门口,又忍不住回头看了一眼那个似乎对周遭一切震惊都无动于衷的少年,欲言又止,终究没说什么。
很快,略显宽敞的教室里只剩下顾南舟、陈彦、江临和陆知行四个人。
顾南舟转过身,眼神已经恢复了作为江大数学系中坚力量的冷静。
他说:“身份的事放一边,先验砖。”
验砖这两个字说出来以后,屋里那种漂浮在半空中令人眩晕的震惊才终于落回地面,找到了重力的支点。
对。
先验砖。
不管是高三生、本科生,还是菲尔兹奖得主。
数学不看身份证,不查户口本。
它只看你的逻辑链条是否闭合,只看你有没有把问题彻彻底底地解决。
顾南舟拿出手机。
南大那边的信息一条接着一条地弹出来。
【顾南舟,我认真问你,你是不是在预印本网站上看到个未发表的粗糙构造,自己没核对就激动了?】
在这个圈子里,越是惊人的消息,越要先假设它是假的。
自从1961年王浩提出王氏砖并猜测任何可以铺满平面的图块集都可以周期性铺满以来,这个领域见证了太多次的希望与幻灭。
1966年,Robert berger证明了王浩的猜测是错的,并给出了第一组非周期图块,但那需要块砖。
后来,Robinson将其降到了6块。
再后来,罗杰·彭罗斯用飞镖和风筝将其降到了着名的2块。
几十年来,全世界的顶尖大脑都在寻找那一块砖。
一块能够且仅能以非周期方式铺满无限二维平面的单一连通图块。
Socolar和taylor在2010年找到过一块,但那块砖是不连通的,或者需要复杂的匹配规则,在纯粹的几何拓扑上并不完美。
现在,有人说找到了一块纯粹的,没有任何附加匹配规则的单一多边形?
对方发来这条信息,不是在质疑顾南舟的眼光,而是在替他兜底。
万一是误判,现在收手还来得及,不至于惊动上面那条线,召开正式研讨会之后再尴尬收场。
顾南舟手指飞快地在屏幕上敲击,回了四个字。
【现场画的。】
那头沉默了几秒,仿佛能顺着电波感受到对方倒吸凉气的声音。
【你的学生?】
顾南舟看了一眼江临。
【不是,隔壁物理学院青年pI带来的挂名学生。】
说话间,陈彦已经将会议室的投影连上,又满头大汗地跑去隔壁教研室借来了一台高精度扫描仪。
他小心翼翼地,仿佛对待孤本一般,把江临刚才画的几张纸一页一页扫进电脑。
陈彦看着屏幕,手都在抖。
文件名被顾南舟临时要求命名为:预核_江_扫描件.pdf。
“现在它还只是候选构造,在完整证明和复核完成之前,不要把它称作定理,也不要对外说已经解决。”顾南舟对江临解释了一句临时命名的问题,语气中带着保护的意味。
陆知行表示没问题,他懂这些规矩。
江临更是不会说什么。
他连个大学生都不是,关于预印本,候选构造这些学术圈的规矩和潜规则,他是不怎么清楚的。
他只是站在那里,看着自己脑海中推演了无数遍的几何结构被放大在幕布上。
十几分钟后,加密视频会议接通。
投影幕布被均分为左右两块。
左边出现一个五十岁左右的男人,头发花白,戴着厚厚的无框眼镜,背景是堆满了外文期刊、打印纸和各种多面体模型的办公室。
顾南舟沉声介绍:“江临,陆教授,这位是林照野教授,南大数学系,做离散几何与组合拓扑的权威。”
右边是一个四十多岁的女人,一头干练的短发,戴着黑框眼镜。
她身后的白板上还残留着几组准晶衍射图和密密麻麻的投影关系。
“邵明棠教授,中科院理论物理所,做准晶和非周期材料结构的专家。”
这是顾南舟先前通过短信紧急邀请的两位离散领域的绝对专家。
原本这种级别的非正式会面极难凑齐,但这二位大佬在经过初步沟通、看了顾南舟拍过去的一个残缺局部图后,已经等不及今晚的常规通话了。
他们推掉了晚上的会议,只想尽快看一看这个传说中的单砖。
两个人上线后,顾南舟极其简练地介绍了一下江临与陆知行。
视频两头彼此之间都没有任何多余的寒暄。
到了他们这个级别,废话是对时间的亵渎。
林照野看着屏幕,五分钟后,他缓缓开口:“这就是你说的那块,本不该存在于二维平面的砖?”
顾南舟点点头:“候选,目前只是候选。”
林照野点点头:“好,先按候选看看,边缘角度是不是全都是π/6的整数倍?”
江临站在桌边,语气很平:“是的,所有角都落在同一套30°辅助网格上,边长也只取有限几类比例。真正要验证的,不是视觉像不像,而是这套有限角型能不能封闭成完整的局部状态表。”
“原稿现在在谁手里?”邵明棠插话道。
顾南舟把手按在那个硬壳文件夹上:“在这里,陆知行教授也在场作证。”
邵明棠的语气不容置疑:“先别公开,不要发微信群,不要发朋友圈,不要在任何社交媒体上留痕,更不要让刚才那些学生拍照外传。如果这东西是真的,这就是本世纪几何学最大的突破之一。如果是假的,提前走漏风声会让江大数学系沦为国际笑柄。”
顾南舟看了一眼陈彦。
陈彦立刻像触电一样把手机反扣在桌上,屏幕朝下,甚至举起双手示意:“明白,绝对保密。”
林照野推了推眼镜,身子前倾,仿佛要从屏幕里钻出来:“开始吧,先别急着说它能不能抵御周期性,咱们一步一步来。第一步,先证明它不是你信手涂鸦画出来的死胡同。”
顾南舟敲击键盘,把江临刚才画的几块由单砖组合而成的拼接图放大。
林照野盯着那些齿轮般咬合的边缘,问了一个最根本的问题:“它能不能铺满?”
在数学上,铺满意味着覆盖整个R2平面,且没有任何缝隙,也没有任何重叠。
“能。”
江临站在桌边,神色依旧没有起伏。
“怎么铺?”林照野追问,眼神极具压迫感,“你不能给我看一个局部的漂亮图案,