什麼是西塔潘猜想

西塔潘猜想是由英國數理邏輯學家西塔潘於20世紀90年代提出的一個關於數學領域，特別是組合數學中的一個猜想。這個猜想主要關注的是拉姆齊二染色定理的證明強度，該定理試圖找到一個最小的正整數n，使得n個人中必定有k個人相識或者l個人互不相識。這個猜想在數學界長期懸而未決，直到2011年，中南大學數學科學與計算技術學院的劉嘉憶通過一個創新的方法，給出了一個否定式的回答，從而徹底解決了這一猜想。