他鬼使神差地点了进去，摘要扫到第三行的时候，他手里的汉堡差点没拿住。

挠精化态和不变量？

着色一致性恒等式？

马特维耶夫－皮尔加利尼变换组……

这不就是他啃了五个星期的那套记号吗？

雷米连忙将手中的汉堡放到一边，从第一节开始读了下去。

越往下读，他的嘴张得越大。

原来他啃的那四个编号，只是一面墙上的四块砖。

原来那位莎拉，先证了一条塔函数级的下界定理，从数学上给搜索判了死刑，然後再连证三面墙造出了一把新的尺子。

所以这篇论文就一个意思：尺子立住了，反例，找到了。

安德鲁斯－柯蒂斯猜想……

被！

证！

伪！

了！

这是要把组合群论的天，捅破啊。

雷米盯着屏幕半天没合上嘴。

他以为自己只是在帮人搬砖。

可谁特麽知道自己搬的砖是这个大厦的砖呀。

好半天他才缓过神来，想起去翻方法那一节，他想看看对方是怎麽搞定那个让他欲仙欲死的恒等式问题的。

鼠标滑动，然後……

他就倒吸一口凉气。

论文压根没走他们正在啃的那条合流的路。

而是用最原始的方法将十一万零四百一十六条着色恒等式，一条不落的全部精确验完。

外加呈示群平凡性的逐步推导，外加两次取值的完整演算，端到端打成一份一点七tb的形式化证书，连同一个不到三千行的独立核验器，整整齐齐挂在论文的资料链接里。

而干完这一切的却不是人。

方法一节写得明明白白：全部大规模符号计算与核验，由燕大的数学专用模型未央完成。

雷米对这个名字有点印象。

前一阵子把frontiermath刷出断层的那个华夏模型，论坛上热闹过几天，他当时只当个乐子看。

“用ai来做这个……”

“真的可以吗？”

大模型一本正经胡说八道的德行，他又不是没领教过。

雷米盯着那行下载链接看了几秒，做了一个所有博士生都会做的决定。

不信那就自己验。

他先把核验器的源码拉了下来。

不到三千行，没有一个外部依赖，他泡了壶咖啡一个晚上就从头读到了尾。

接着他又把证书拖上了课题组的服务器，把自己那四个临界对沿途用到的二十几条恒等式编号，挑出来喂了进去。

他和师兄搭进去五个星期的那些式子在未央那里用了……四秒锺！

全部通过。

中间的每一个标准形，他都仔细的核对过，完全一致。
本章未完，请翻下一页继续阅读.........