第五一〇章 盘古-《永不下车》
第(3/3)页
简单浏览报告,方然明白了这想法不一定正确,以nep大区的数学研究机构,并不太可能掌握这世界上的所有数学知识,fscim体系里的数学领域相关知识,也远没有完成100%的定义,所以这断言为时尚早。
不过,基于fscim体系的解析,“强ai二号机”推导出的结论,是nep大区内的数学家们未曾得见,这倒是一个基本确定的事实。
西历1497年3月23日,历史上头一次,人类借助ai“得到”了某定律的证明。
定律的具体形式,身在领域之外,方然一时间还没办法理解的很透彻,总之是数论中的某个命题,其冷僻程度,并没有形成猜想、并以提出者进行命名,看到结论后,包括nep_705、706等机构里的数学家们,也多少有些意外。
当然,他们中的所有人,并未被告知“这是一份来自ai的证明”。
nep_791研发组的成员中,也有数学专家,因为知道这一份看上去平平无奇、至多“挺有技巧”的证明是来自于谁,而抱有极大的兴趣。
但他们研究之后,并说不出,这条看起来有点意思的性质,究竟是迄今为止无人发现、无人问津呢,还是作为一个没有显明价值的小结论,曾经被数学研究者们发现,并随意的放置在一边,没有格外关注。
这一情形,在旧时代的技术条件下,有点不可思议,但在新时代则实属寻常。
旧时代的人类文明,凭借发达的通讯手段而联系在一起,数学领域的绝大多数成果,都会迅速传遍整个学术界。
哪怕是那些没多大价值、探索难度低的结论,迟早也会被收录到位于联邦普林斯顿大学的“数学基础信息数据库”……
简单浏览报告,方然明白了这想法不一定正确,以nep大区的数学研究机构,并不太可能掌握这世界上的所有数学知识,fscim体系里的数学领域相关知识,也远没有完成百分之百的定义。
第(3/3)页