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

 今年5月，由北京大學(xué)等聯(lián)合舉辦的邏輯學(xué)術(shù)會議上，還是大三的劉嘉憶報告了他對目前反推數(shù)學(xué)中的拉姆齊(Ramsly)二染色定理的證明論強(qiáng)度的研究。這是由英國數(shù)理邏輯學(xué)家Seetapun于上個世紀(jì)90年代提出的一個猜想，十多年來，許多著名研究者一直努力都沒有解決。劉嘉憶的報告給這一懸而未決的公開問題一個否定式的回答，徹底解決了Seetapun的猜想。

繼今年上半年他攻克一個十多年懸而未決國際數(shù)學(xué)難題后，不久前在美國芝加哥大學(xué)結(jié)束的數(shù)理邏輯學(xué)術(shù)會議上，他作為亞洲高校唯一一位代表在會上做了40分鐘報告，報告了他在數(shù)理邏輯方面的研究成果，語驚四座。