第649章 数学AI的爆发 三（2/2）

请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。

“十项？”徐辰虽然早有心理准备，但听到确切数字，还是挑了挑眉。

“对，而且都不是普通的边角料。”理查德语气中带着压抑不住的自豪，“您看这里。”

他的手指落在第一行。

“我们构造出了首个非服从群。这个问题从1999年提出以来一直悬而未决。”

徐辰微微点头。这个问题在几何群论里相当有名，无数人试图构造反例都失败了。

“往下看，”理查德的手指继续移动，“我们推翻了孔涅刚性猜想。这是算子代数和非交换几何领域的一个核心猜想。孔涅本人当初可是靠相关工作拿过菲尔兹奖的，结果现在，他的猜想被AI推翻了。”

孔涅刚性猜想。

如果说非服从群是有点名气，这个就是重量级了。被推翻的消息一出，整个算子代数界恐怕都要震一震。

“还有，Ehrhart体积猜想，”理查德笑了笑，这个就是之前徐辰和陶哲轩顺手用AI做掉的那个，“不仅所有维度的证明都补全了，而且极大地简化了证明过程。”

“除此之外，我们还解决了埃尔德什遗留下来的三个悬赏问题：#183， #146， 和 #180。”

“在理论计算机科学方面，改进了球堆积的上界，这可是1978年卡巴强基斯定理以来的首次突破；提升了MRRW编码界；找到了积和式的新下界；证明了量子并行重复定理；还给出了最邻近问题（CVP）的困难度新下界。”

理查德一口气念完，长长地呼出了一口气。

徐辰看着那份清单，沉默了好一会儿。

这份单子上的任何一项，单拎出来，都足够一个数学家或者计算机科学家发顶刊、评职称、拿终身教职。像推翻孔涅刚性猜想这种级别的工作，如果是人类独立完成的，几个重量级国际大奖跑不掉。

而现在，它们像流水线上的产品一样，被批量制造了出来。

“这十项成果，耗时多久？花了多少成本？”徐辰问出了一个核心问题。

理查德看了陶哲轩一眼，然后报出了一个数字：

“推理算力成本，大概折合两万人民币。时间，一轮搜索加上验证，一共十天。”

两万人民币。十天。

构造出首个非Sofic群，推翻孔涅刚性猜想，顺手解决三个埃尔德什问题，最后还给理论计算机科学捎了一份全家桶。

“疯了。”

徐辰靠在沙发背上，喃喃自语。

要不是坐在对面的是陶哲轩和理查德，他现在已经准备拨打反诈中心电话了。

“而且，徐教授，最关键的不是这些成果本身。”

陶哲轩在一旁补充道，“真正重要的是，我们建立了一套可以重复运行的方法。”

……