拉姆齊（Ramsly）二染色定理是由英國數(shù)理邏輯學家西塔潘（Seetapun）于20世紀90年代提出的一個猜想。十多年來，許多著名研究者一直努力都沒有解決。 

2011年5月，來自中南大學還是大三的劉嘉憶在北京大學等聯(lián)合舉辦的邏輯學術會議上報告了他對目前反推數(shù)學中的拉姆齊二染色定理的證明論強度的研究。劉嘉憶的報告給這一懸而未決的公開問題一個否定式的回答，徹底解決了西塔潘的猜想 。