西塔潘猜想是谁证明的

刘嘉忆。西塔潘猜想是由英国数理逻辑学家西塔潘于20世纪90年代提出的一个反推数学领域关于拉姆齐二染色定理证明强度的猜想，2024年5月，中南大学数学科学与计算技术学院酷爱数理逻辑的刘嘉忆的报告给悬而未决的公开问题一个否定式的回答，彻底解决了西塔潘的猜想。刘嘉忆，本名刘路，1989年出生，中南大学数学科学与计算技术学院2008级本科生。