第102章 世界开始承认它（1 / 11）
⚡ 自动翻页
开启后阅读到底自动进入下一章
⚡ 开启自动翻页更爽
看到章尾自动进入下一章，追书不用一直点。
德国时间凌晨两点。
柏林工业大学，计算几何与组合算法实验室。
克劳斯已经连续三十多个小时没有合眼了。
他面前的六块屏幕上，全是滚动的终端日誌和密密麻麻的json结构树。
三天前，当他第一次用江临提供的那个被称为mps的核验包，在半径r=10的范围內跑出绿色的no periodic patches found时，他在那个只有七八个顶级算法研究者的私密小群里，说了一句话。
this is not nonsense.
但那天晚上，他的导师，实验室的负责人，做了三十年组合优化的老教授，把他叫进了办公室。
老教授只问了他一个问题。
“你跑的，是他写的代码？”
克劳斯点头。
老教授摇了摇头。
“那不叫復现。”
克劳斯一愣。
“克劳斯，你想过没有。如果他的证明里，藏著一个连他自己都没意识到的错误。而恰好，他写的核验代码里，也藏著一个能把这个错误正好遮住的bug。”
“那你跑他的代码，跑一万遍，跑到天荒地老，你看到的，永远是他那个漂亮的绿字。”