头紧锁的陆舟死死地盯着最初的那个问题，嘴唇轻轻开合的念着。
“但奇怪的是，偏偏又证明不了命题是错的……无论带多少组参数进去，都能得出与命题吻合的结果。”
长出了一口气，陆舟一把捏住了转得飞快的笔，打开了放在桌角的电脑，登录到了文献数据库中，输入了几行关键词。
一排排检索到的论文，很快出现在他的面前。
选中了几个标签之后，按照引用次数进行排序，陆舟很快挑出几篇排名前几的论文。
“……这么有意思的问题不可能没有人研究过。”
“至少应该能找到类似的。”
嘴里轻轻念着，就这时候陆舟的眼睛忽然一亮，从茫茫的数据库中敏锐地捕捉到了一行有趣的标题。
论文的作者是克雷克（kreck）教授，在偏微分方程以及拓扑学领域有名的大牛，而这篇论文是他于1999年刊登在《数学年刊》上的一篇论文，被引用次数还有点高。
根据其摘要部分的描述，这篇论文主要内容是对surgery理论做出了改进，并且将流形分类的问题转化为某些配边群的计算问题。
眼中渐渐浮现了一丝感兴趣的神采，陆舟很快将这篇论文下载了下来