Liu Jiayi. Sitapan conjecture was put forward by British mathematical logician Sitapan in 1990s, which is a conjecture about the probative power of Ramsey's second coloring theorem in the field of mathematics. 20 1 1 In May, Liu Jiayi, who loves mathematical logic in the School of Mathematical Science and Computing Technology of Central South University, gave a negative answer to the public question, which completely solved the Sitapan conjecture. Liu Jiayi, whose real name is Liu Lu, was born in 1989. He is a 2008 undergraduate student in the School of Mathematical Science and Computing Technology of Central South University.