拉姆齐（Ramsly）二染色定理是由英国数理逻辑学家西塔潘（Seetapun）于20世纪90年代提出的一个猜想。

十多年来，许多著名研究者一直努力都没有解决。

2011年5月，来自中南大学还是大三的刘嘉忆在北京大学等联合举办的逻辑学术会议上报告了他对目前反推数学中的拉姆齐二染色定理的证明论强度的研究。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回彻底解决了西塔潘的猜想。