Liu Jiayi's real name is Liu Lu, and "Liu Jiayi" is the name Liu Lu used when submitting articles to foreign magazines. 1989 Born in Dalian, he is1.75m tall and weighs 55kg.. My father works in the logistics department of a state-owned enterprise, and my mother is an engineer in an enterprise. A good family environment cultivated his love for science and engineering, especially mathematics. He believes that "his parents didn't give him inheritance and education in mathematics, and he didn't show special love for mathematics in primary school." "If there is anything different between me and my peers, it is that I pay special attention to mathematics." "In junior high school, when some students were still scratching their heads for exercises in math textbooks, I began to teach myself number theory."

In 2008, Liu Lu was admitted to the School of Mathematical Science and Computing Technology of Central South University. The media said that when he was at school, he went in and out of the library every day and read all the English math books borrowed from the library in the dormitory until late at night.

Sophomore, Liu Lu began to learn mathematical logic.

20 10 central south university announced that Liu Lu had proved the sitapan conjecture put forward by British mathematical logician David sitapan. His paper named "RT _ 2 2 does not imply WKL _ 0" was published in Journal of Symbolic Logic (No.2, 20 12) on pages 609-602.

In 20 12 years, Central South University awarded Liu Lu 1 10,000 yuan, of which 500,000 yuan was used to improve scientific research conditions and 500,000 yuan was used to improve living conditions.

20 12 graduated from School of Mathematics and Statistics, Central South University. "If there is anything different between me and my peers, it is that I pay special attention to mathematics." Liu Jiayi said, "When I was in junior high school, when some students were still scratching their heads for the exercises in the math textbook, I began to teach myself number theory."

Number theory refers to the theory of studying the properties of integers. Liu Jiayi said that at that time, for other students, reading divisibility theory, congruence theory and continued fraction theory in elementary number theory was like reading a "heavenly book", but he learned it with relish.

In 2008, Liu Jiayi was admitted to the School of Mathematical Science and Computing Technology of Central South University with excellent results. Supposedly, with a solid foundation in mathematics, Liu Jiayi should make a name for himself in front of his classmates, but his grades are not among the best in every math exam.

Gao Tao, a classmate of Liu Jiayi, said that he didn't behave strangely in class, but he would go to the library every time after class. When he came back, he would definitely bring a lot of English math books, often holding them until late at night. Students ask him questions and find that his ideas are different from others. He will use simpler methods to calculate or explain.

In his sophomore year, Liu Jiayi began to learn mathematical logic. Mathematical logic is an indispensable part of mathematical foundation. Compared with other mathematics courses, he showed a special preference for this. His teacher also saw that he was unusual and gave him a lot of guidance and encouragement. Professor He Wei mentioned Ramsey's Second Coloring Theorem in the course of Combinatorics, which is exactly what Liu Jiayi has been thinking hard for months. Since then, he has strengthened his confidence in overcoming this problem.

"In fact, when I was thinking about this proposition, I seemed to have an epiphany, but the argument didn't take much time." Liu Jiayi said, "If I have to sum up anything, it may be related to my usual accumulation." Liu Jiayi said that the paper he submitted to Transactions of the American Mathematical Society not long ago was highly praised by several professors such as the University of Wisconsin and Berkeley, and it is expected to be published.

At present, Liu Jiayi is preparing to learn model theory. "This is one of the main branches of mathematical logic. To study the relationship between formal language and its model, we must have a solid basic knowledge if we want to by going up one flight of stairs in the future. " He said.