西塔潘猜想含金量

含金量可以，西塔潘猜想是一個反推數學領域關於拉姆齊二染色定理證明強度的猜想。在組合數學上，拉姆齊（Ramsey）定理是要解決以下的問題：要找這樣一個最小的數n，使得n個人中必定有k個人相識或l個人互不相識。

2011年5月，由北京大學、南京大學和浙江師範大學聯合舉辦的邏輯學術會議在浙江師範大學舉行，中南大學數學科學與計算技術學院酷愛數理邏輯的劉嘉憶的報告給這一懸而未決的公開問題一個否定式的回答，並徹底解決了西塔潘的猜想。R(3，3)=6，也稱為拉姆齊二染色定理。