历史上唯一一次超龄获得菲尔兹奖的数学家是英国人安德鲁·怀尔斯,他于1994年证明了数论中历史悠久的“费马大定理”,并由此在1998年国际数学家大会上以45岁的‘高龄’获得了国际数学联盟特别制作的菲尔兹奖银质奖章以及2016年的阿贝尔奖。
“这个九章算术你用过没,感觉怎么样?”
邱成同好奇道。
邱成同作为一名纯粹的数学家,对于计算机软件没那么精通,反倒是姚其志,作为图灵奖得主,毫无疑问有资格评判一款软件的好坏。
姚其志脸上露出了奇异的表情:“这款软件怎么说呢……给我的感觉不像是这个时代的产物!”
“不像是这个时代的产物?”
邱成同微微一愣,正要继续问,会议室门被人推开,又进来了几个人。
为首的一人五十来岁年纪,穿着一身黑色的夹克,是国内主管教育与科研领域的大佬,经常在电视新闻上出现。
邱成同刚回国那会儿,这位大佬还接见过他几次。
另外一人则穿着西装,看起来四十来岁的样子,看得出来同样是体制内的。
两人在会议室的上首坐下。
年轻一点的那人道:“大家上午好,我是国家网络安全与信息化委员会办公室主任孙元凯,很遗憾以这种方式将大家邀请过来。因为今天这场会议属于秘密会议,所以与会过程中还请大家关闭手机,严禁录音与录像!”
孙元凯的话音落下,众人纷纷掏出手机关闭后放在会议桌上,甚至连孙元凯自己也不例外。
孙元凯脸上露出了一丝笑容道:“感谢大家的配合,那么我们就正式进入今天会议的主题吧。最近在国内学术界引发不小风波的九章算术,大家应该都听说过吧?”
在座的人面面相觑,一个个均点了点头。
孙元凯继续道:“你们中有几个人用过,能举下手吗?”
这一次,举手的人就少了很多。
除了姚其志外,著名的计算视觉专家潘云杰也选择了举手。
孙元凯笑道:“那我们就先从两位教授开始吧,姚教授,你试用过这款软件后,能说说对这款软件的看法吗?”
姚其志干咳一声,正色道:“其实刚刚我和老邱聊过这款软件了,在我看来,这款软件有点不像是这个年代的产物。我们暂且不说这款软件以何种方式挂码到arxiv上面,单单到现在为止,这款软件的下载链接依旧没有被清除,足以说明这款软件的技术水平……”
姚其志顿了顿,继续道:“另外我试用过这款软件,虽然只测试了几项功能,但都给我留下了深刻的印象,像偏微分方程求解问题,这款软件中,竟然可以求出大量偏微分方程的解析解,这有点超出现在数学界的一些常识,但代入这些解析解后,我却发现这些解析解都是正确的。还有我听说,这款软件的工具包内,有大量需要付费的数据处理模型,涉及自然科学与工程学的各个领域,不管是功能还是精准度,都比现有比较流行的3m系列数学软件要强出很多——当然了,这些都是我听说的,暂时还没有亲自验证过……”