德国时间凌晨两点。
柏林工业大学，计算几何与组合算法实验室。
克劳斯已经连续三十多个小时没有合眼了。
他面前的六块屏幕上，全是滚动的终端日志和密密麻麻的JSoN结构树。
三天前，当他第一次用江临提供的那个被称为mpS的核验包，在半径R=10的范围内跑出绿色的No pERIodIc pAtchES FoUNd时，他在那个只有七八个顶级算法研究者的私密小群里，说了一句话。
this is not nonsense.
但那天晚上，他的导师，实验室的负责人，做了三十年组合优化的老教授，把他叫进了办公室。
老教授只问了他一个问题。
“你跑的，是他写的代码？”
克劳斯点头。
老教授摇了摇头。
“那不叫复现。”
克劳斯一愣。
“克劳斯，你想过没有。
如果他的证明里，藏着一个连他自己都没意识到的错误。
而恰好，他写的核验代码里，也藏着一个能把这个错误正好遮住的bug。”
“那你跑他的代码，跑一万遍，跑到天荒地老，你看到的，永远是他那个漂亮的绿字。”
“你不是在验证真理。
你是在重复他可能犯下的同一个错误。”
克劳斯瞬间明白了导师的意思，背后渗出一层冷汗。
要想真正独立地验证这块砖，唯一的办法，是把江临那个干净漂亮的mpS包扔到一边。
只拿着那篇论文里，用纯数学语言写下的图形定义、四类大块的替代规则、边界读法约定。
然后，从一行空白的代码开始，用一套完全不同的语言，一套完全不同的底层框架，把整个核验系统，重新造一遍。
如果两套从零开始，彼此之间没有任何一行共享代码的系统，最终吐出来的东西，分毫不差地撞在了一起。
那才叫复现。
那才叫真理。
于是，过去三天，克劳斯没碰江临的python。
他用Rust，从顶点坐标的代数整数编码开始，一砖一瓦地重写。
他自己实现状态生成，自己写哈希，自己做等价类合并。
甚至故意换了一套和论文完全不同的内部命名习惯，就是为了逼着自己，去真正理解每一步背后的数学，而不是无意识地抄。
报错，排查，重跑。
再报错，再重跑。
此刻，凌晨两点。
他自己写的那套Rust系统，在柏林实验室那台四路Amd的计算节点上，刚刚跑完了局部情形表的全量枚举。
终端最后一行，跳出了一个数字。
最终幸存的不可约状态总数。
本章未完，请翻下一页继续阅读.........
本站所有小说均由根据搜索引擎转码而来，只为让更多读者欣赏，本站不保存小说内容及数据，仅作宣传展示。
基于搜索引擎技术为您提供检索服务
这个学霸疑似巨额知识来源不明,第101章 世界开始承认它（1/11）,垂钓月牙
Copyright © 2026 笔趣阁 All Rights Reserved.