总之是数论中的某个命题，其冷僻程度，并没有形成猜想、并以提出者进行命名，看到结论后，包括NEP_705、706等机构里的数学家们，也多少有些意外。
当然，他们中的所有人，并未被告知“这是一份来自AI的证明”。
NEP_791研发组的成员中，也有数学专家，因为知道这一份看上去平平无奇、至多“挺有技巧”的证明是来自于谁，而抱有极大的兴趣。
但他们研究之后，并说不出，这条看起来有点意思的性质，究竟是迄今为止无人发现、无人问津呢，还是作为一个没有显明价值的小结论，曾经被数学研究者们发现，并随意的放置在一边，没有格外关注。
这一情形，在旧时代的技术条件下，有点不可思议，但在新时代则实属寻常。
旧时代的人类文明，凭借发达的通讯手段而联系在一起，数学领域的绝大多数成果，都会迅速传遍整个学术界。
哪怕是那些没多大价值、探索难度低的结论，迟早也会被收录到位于联邦普林斯顿大学的“数学基础信息数据库”……
简单浏览报告，方然明白了这想法不一定正确，以NEP大区的数学研究机构，并不太可能掌握这世界上的所有数学知识，FSCIM体系里的数学领域相关知识，也远没有完成100%的定义……
“第一版主网”最新网址：https://bz01.net/，请您添加收藏以便访问