cim体系里的数学领域相关知识，也远没有完成100的定义，所以这断言为时尚早。

    不过，基于fscim体系的解析，“强ai二号机”推导出的结论，是nep大区内的数学家们未曾得见，这倒是一个基本确定的事实。

    西历1497年3月23日，历史上头一次，人类借助ai“得到”了某定律的证明。

    定律的具体形式，身在领域之外，方然一时间还没办法理解的很透彻，总之是数论中的某个命题，其冷僻程度，并没有形成猜想、并以提出者进行命名，看到结论后，包括nep_705、706等机构里的数学家们，也多少有些意外。

    当然，他们中的所有人，并未被告知“这是一份来自ai的证明”。

    nep_791研发组的成员中，也有数学专家，因为知道这一份看上去平平无奇、至多“挺有技巧”的证明是来自于谁，而抱有极大的兴趣。

    但他们研究之后，并说不出，这条看起来有点意思的性质，究竟是迄今为止无人发现、无人问津呢，还是作为一个没有显明价值的小结论，曾经被数学研究者们发现，并随意的放置在一边，没有格外关注。

    这一情形，在旧时代的技术条件下，有点不可思议，但在新时代则实属寻常。

    旧时代的人类文明，凭借发达的通讯手段而联系在一起，数学领域的绝大多数成果，都会迅速传遍整个学术界。

    哪怕是那些没多大价值、探索难度低的结论，迟早也会被收录到位于联邦普林斯顿大学的“数学基础信息数据库”……

    简单浏览报告，方然明白了这想法不一定正确，以nep大区的数学研究机构，并不太可能掌握这世界上的所有数学知识，fscim体系里的数学领域相关知识，也远没有完成百分之百的定义。