Mathematical conjecture is the source of mathematical research.

It is extremely easy to propose a mathematical conjecture, but it is difficult to prove the conjecture. Now Li Xuan can propose tens of thousands of mathematical conjectures at will, for example, will there be 100 consecutive 0s after the decimal point of pi?... Any guess is not repeated.

But this guess is not very useful.

There are thousands of mathematical conjectures, and some conjectures are extremely important. They give new mathematical research directions and are world-famous. For example, the Riemann conjecture, once solved, hundreds of conclusions are instantly elevated to theorems. This is the mainstream field of mathematics.

Some of the guesses are inconspicuous, and not many people are studying them there. Inversely speaking, mathematics is such an unpopular topic.

In the world, there are very few people studying mathematics, and there are too many mathematical problems, and even fewer people studying unpopular topics. Because it is very difficult to achieve results in mathematical research, imagine how many people are willing to spend more than ten years studying unpopular results, but they have achieved nothing?

The best age for studying mathematics is only a few years, so mathematicians who can calm down and study unpopular topics are very unhappy.

Mathematics requires considering historical processes and internal logic. It is not that the higher the IQ, the more difficult the problem will be solved. Sometimes the theoretical tools are not complete. Throwing the most versatile and smartest modern person until thousands of years ago, he could not build an airplane alone. A similar truth is.

Therefore, it is impossible to determine the complexity of the research topic and it is difficult to achieve mathematical results. Li Xuan can now rely on intuition to grasp the complexity of the guess and become an absolute little prince to find the bargain.

Others may know where to study mathematics, or where to study it, they may be worried. I may know where to study it. Where to study Li Xuan, I may know where to study it.

Because there is very little literature on inverse math in China, Li Xuan logged into a foreign English website to find relevant math materials. During this period, he communicated with the coach on WeChat.

Lin Xuerui was a little surprised when she heard that Li Xuan wanted to learn inverse impulse mathematics: "Are you studying inverse impulse mathematics?"

"I suddenly became interested."

She didn't say much to dissuade her. The best state of mathematics is because of interest. She said, "It seems that Nankai University in China is studying reverse-reinforcement mathematics. I don't have any information. I remember you have good English. Then I recommend you a few foreign websites and you can find relevant articles."

"Thank you, coach."

Li Xuan replied with thanks, then logged into a foreign website to find papers related to reverse mathematics.

To understand what the Sitapan conjecture is talking about, it is very complicated for people who have not learned mathematical logic. To put it bluntly, it is the intensity proof of Ramsey's second dyeing theorem. Li Xuan saw this theorem when he was studying combined mathematics.

There are many scholars at home and abroad who have research papers on Ramsey's two-staining theorem, which is the literature that Li Xuan focuses on reading.

Li Xuan looked word by word, and first systematically digested these theoretical achievements and stood on the shoulders of others before he could see further.

If you encounter a professional math word that doesn't understand, Li Xuan will search for the Chinese meaning on the spot. However, he rarely encounters English words that he doesn't understand. After these days, he has been studying English tirelessly, and at this moment, he finally has a big reward.

If Lin Xuerui stood here and saw Li Xuan’s learning speed, he would be surprised by Li Xuan’s perversion and would understand these documents thoroughly in a short time.

Li Xuan intuition told him that if he could prove the error of the Sitapan conjecture, his will would become firm and he had to prove it. This was his first attempt to prove the unresolved mathematical conjecture in the international community.

The Sitapan conjecture has been proposed for more than ten years, and no mathematician has yet to prove it. Although the difficulty of proof is not as difficult as that of the Riemann conjecture, the difficulty is relatively high, and it is definitely far superior to the test questions.

Speaking of inverse impulse mathematics, it is a branch of mathematical logic. This is also thanks to Li Xuan who studied computers in his previous life and was interested in mathematical logic, so he knew inverse impulse mathematics. Otherwise, he would not even understand inverse impulse mathematics, and he would not know this conjecture.

The idea of ​​mathematical logic is to create a scientific language that turns the reasoning process into mathematical calculations. Similar ideas also include Wu's method, which algorithmizes geometric theorems and allows computers to automatically prove mathematical problems.

Mathematical logic and computers overlap, so many mathematicians are computer scientists and programming experts. Over the years, mathematicians have been thinking about how to use computers to automatically prove mathematical problems.

The famous four-color theorem is a method of mathematicians using computer programming to forcefully prove it through a large number of calculations. Before the computer was proved, mathematicians did not know how to prove it, and are still looking for simple proof ideas.

Li Xuan was a coder before his previous life, and understood the importance of mathematics to the subject of informatics. Now his interest in mathematics has improved.

Looking at Ramsey's second dyeing theorem in this way, Li Xuan understood the Sitapan conjecture more and more, but he never thought of the proof method.

Li Xuan was thinking all night, and his desire for knowledge was in full swing. Without opening the buff of knowledge, he was already addicted to it and could not extricate himself.

I didn't sleep all night.

...

...

The next day is Sunday.

After a night, the lamp on the desk was still on, and the morning light came in through the curtains, telling Li Xuan that it was the next morning.

There was a slight blood in Li Xuan's eyes, but after a night, he still couldn't find a way to prove it.

For him, the Sitapan conjecture is simple to understand, but it is different to prove it. It is not like a competition question with fixed ideas. This proof has no fixed ideas, so you have to think about it yourself.

Li Xuan systematically understands the current research results of Ramsey's two-staining theorem, but there is no clue on how to prove the strength of Ramsey's two-staining theorem.

If it were someone else, maybe he would give up here, but Li Xuan had intuition to prove it and didn't want to give up.

At this moment, Xu Li came in and was about to call Li Xuan for breakfast. Suddenly, she found that Li Xuan was still thinking at her desk. She sighed at Li Xuan's hard work and said with a smile: "Get up so early to study?"

Li Xuan looked up at her and said weakly: "No, I didn't sleep last night and was thinking about math problems."

Xu Li was shocked: "If you don't do this, you will be exhausted. Have some breakfast and go to bed!"

Li Xuan was indeed very hungry. He went to take a few bites of rice, then hurried back to the room and continued to study.

In mathematical research, you cannot be eager for quick success or instant benefits, but immersed in it, you can also feel the pleasure of thinking. This kind of fun is no different from playing games, especially Li Xuan, who also activated the curiosity buff.

Li Xuan decided to think about it for a while and have a good night's sleep in the afternoon.

Thinking in my eyes, the illusory mathematical intuition was obviously very strong. I shot countless times, but I just didn't catch the fleeting inspiration.

During Li Xuan's thinking process, the system dared not disturb him.

Time passed, Li Xuan picked up the pen and wrote, knowing that it could prove it, he did not give up. He was stunned and the whole world became clear in an instant, his mind became more effective, as if he was hit by lightning, and his inspiration burst out in vain, and he thought of a method.

"Yes, it seems that's right..."

Li Xuan was as if he had found a treasure, stood up excitedly, and his fists were clenched.

He was so excited that he was afraid of forgetting this idea, so he immediately picked up his pen and wrote down the calculation idea on paper. Then he spent an hour writing out the proof process and repeatedly confirming that there were no errors in the process.

At the end of the pen, Li Xuan felt that he was relaxed and collapsed on the chair, feeling his brain being hollowed out. "Meow... I finally got it done... proved that Sitapan's guess was wrong!"

This feeling is amazing, and finally got what you want and broke through the defense line of the first guess.

Li Xuan was tired and satisfied. Staying up late like this was actually not good for his skin, but he was so excited that he found a loophole that could be exploited for the first time.

After rubbing his face, Li Xuan cheered up and spent another morning translating the proof into the English version, and finally submitted it to the international authoritative magazine "Symbol Logic" in mathematical logic.

Symbol Logic Magazine's official website prompt message: "Your article has been received."

It is unknown what kind of turmoil will cause when a article falls into the sea.

After doing everything, Li Xuan turned off the computer, lay on the bed, looking at the ceiling, and felt a strange feeling that after writing this paper, his life had turned around. He couldn't even think about it. One day he could prove the world's conjecture, but he was not going to college.
Chapter completed!