西塔潘猜想是由英國數理邏輯學家西塔潘於上個世紀90年代提出的一個反推數學領域關於拉姆齊二染色定理證明強度的猜想。這個猜想在組合數學領域內，試圖解決的是關於拉姆齊（Ramsey）定理的問題，即尋找這樣一個最小的數n，使得n個人中必定有k個人相識或l個人互不相識。
2011年5月，中南大學數學科學與計算技術學院的劉嘉憶在浙江師範大學舉行的邏輯學術會議上，給出了西塔潘猜想的否定式回答，徹底解決了這一問題，並證明了R(3,3)=6。這一成就標誌著西塔潘猜想的解決，同時也展示了劉嘉憶在數理邏輯領域的深厚造詣。