A world of mathematics is a world of history for most of us. Ramsey's Theorem is just one of the reasons why. It was discovered by a British mathematician back in 1990s, and for 20 years many of the world geniuses are trying to solve it but failed until now.

Liu Lu, a senior from the School of Mathematics and Computing of Central South University (CSU) in central China's Hunan Province, has won international fame by publishing a paper that solves a problem of reverse mathematics, namely the Ramsey's Theorem for Pairs, a conjecture put forward by English mathematics logician David Seetapun in the 1990s.

During the past two decades, countless internationally famous mathematicians have made efforts to solve the problem but without any results while Liu's findings solved the unresolved open question and provided a negative answer to Seetapun's conjecture.

Liu first found out about this conjecture in August 2010. After reading many papers on the issue, he was suddenly struck with an idea that could solve the problem. He finished the paper in a night and sent it to the Journal of Symbolic Logic, an internationally authoritative academic journal on mathematical logic, under his penname Liu Jiayi.

The CSU has given Liu special approval for successive postgraduate and doctoral programs of study. The university plans to give him special programs to help him make greater contributions to science.