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

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