林染一杯热茶慢慢见底，饶有兴致地欣赏着小萝莉的面部变化，对自己的论文完全不担心。

        他要证明的论文，是英国数理逻辑学家西塔潘在1990年提出的一个猜想，距今为止才过去了6年，热度还在。

        探讨的是“拉姆齐定理”与另一个叫做“WKL?”的数学系统之间的关系。

        用通俗点的话来说：要证明“在任何一个无限的数学结构中，都能找到一个具有某种规律的无限子结构”这个结论，到底需要多强的公理系统。

        这个猜想并不属于希尔伯特问题或千禧年难题那种“百年悬案”级别。

        它更像是数理逻辑领域内部一个非常专业、有待厘清的问题，在圈外人看来可能很“小”，但其解决需要对该领域有深刻的理解。

        可以说非常适合林染现在发表。

        既能证明他在数学方面的天赋和实力，树立天才形象，又不会因为成果过于惊世骇俗而引来不必要的麻烦和质疑。

        毕竟，你一个文学界新人，要是上来就把“黎曼猜想”或者“P对NP问题”这种困扰了无数数学巨擘几百年的终极难题给干趴下了，那就有些太离谱了。

        【This chapter is finished reading】