拉姆齐二染色定理是由英国数理逻辑学家西塔潘（Seetapun）于20世纪90年代提出的一个猜想。十多年来，许多著名研究者一直努力都没有解决。今年5月，由北京大学等联合举办的逻辑学术会议上，还是大三的刘嘉忆报告了他对目前反推数学中的拉姆齐(Ramsly)二染色定理的证明论强度的研究。这是由英国数理逻辑学家Seetapun于上个世纪90年代提出的一个猜想，十多年来，许多著名研究者一直努力都没有解决。刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，彻底解决了Seetapun的猜想。继今年上半年他攻克一个十多年悬而未决国际数学难题后，不久前在美国芝加哥大学结束的数理逻辑学术会议上，他作为亚洲高校唯一一位代表在会上做了40分钟报告，报告了他在数理逻辑方面的研究成果，语惊四座。
拉姆齐二染色定理，在组合数学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。