“西塔潘猜想”是被刘路否定了还是证明了

西塔潘猜想是一个反推数学领域关于拉姆齐二染色定理证明强度的猜想。在组合数学上，拉姆齐（Ramsey）定理是要解决以下的问题：要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。

2011年5月，由北京大学、南京大学和浙江师范大学联合举办的逻辑学术会议在浙江师范大学举行，中南大学数学科学与计算技术学院酷爱数理逻辑的刘嘉忆的报告给这一悬而未决的公开问题一个否定式的回答，并彻底解决了西塔潘的猜想。R(3,3)=6，也称为拉姆齐二染色定理。

扩展资料：

证明：在一个K6的完全图内，每边涂上红或蓝色，必然有一个红色的三角形或蓝色的三角形。任意选取一个端点P，它有5条边和其他端点相连。根据鸽巢原理，5条边的颜色至少有3条相同，不失一般性设这种颜色是红色。

在这3条边除了P以外的3个端点，它们互相连结的边有3条。若这3条边中任何一条是红色，这条边的两个端点和P相连的2边便组成一个红色三角形。

参考资料来源：