Chapter 165

Next.

When Senior Brother Gao saw Gu Lu in the video again, he couldn't help but be startled.

"Gu ...... Senior Brother Gu, are you okay?" Senior Brother Gao couldn't help but ask when he saw Gu Lu with two big dark circles under his eyes.

"Senior brother, I'm fine. Gu Lu waved his hand indifferently.

It's just staying up all night, and Gu Lu is not unprecedented.

Two or three bottles of kidney treasure can hold up.

"Is it really okay?" Senior Brother Gao was still a little worried.

Gu Lu waved his hand and smiled, "It's really okay!"

"Okay. "Although Senior Brother Gao is worried about Gu Lu, he is thousands of miles away and can't do anything.

Senior Brother Gao raised his head and looked at Gu Lu, "In that case, let's discuss a new proof plan according to the plan." ”

"We worked on the proof plan for a week. But this time it may take a little longer to develop a new plan. Half a month, we strive to spend half a month to develop a set of proof schemes. ”

Senior Brother Gao clenched his fists and was full of energy.

Gu Lu looked at Senior Brother Gao with calm eyes, and said in a calm tone, "Senior Brother Gao, no need." ”

"Huh?" Senior Brother Gao was stunned for a moment, then seemed to think of something, and hurriedly spoke, "Senior Brother Gu, you must not give up! Our current progress is much faster than expected, but now we have encountered a little difficulty. If you give up, all your previous efforts will be wasted!"

Senior Brother Gao's tone was anxious.

He thought that Gu Lu couldn't bear yesterday's blow, and decided to give up the research on the second problem of the minimalist program!

That's a lot of loss!

Therefore, Senior Brother Gao hurriedly dissuaded Gu Lu, hoping that he would change his mind.

Gu Lu smiled at the corner of his mouth, and looked at Senior Brother Gao with an anxious face, "Senior Brother, I didn't say that I would give up the research on the second problem of the Minimal Model Program. ”

"Well, that Senior Brother Gu...... What do you mean?" Senior Brother Gao was a little confused.

"I have already made a second scheme to prove the terminating nature of high-dimensional algebraic cluster flip operations. Gu Lu's tone was very flat, as if he was describing something that was no longer ordinary.

Silence, long silence......

Senior Brother Gao froze directly in place, his mouth remained open, and his expression did not move for dozens of seconds.

"Senior Brother Gu, are you saying that you have already made a new proof scheme?" After a long time, Senior Brother Gao furrowed his brows and confirmed to Gu Lu.

Gu Lu nodded, "That's right, it's already been made." ”

"But ......"

But it's only been a day!

Senior Brother Gao felt that his cognition was collapsing a little bit.

Because of Gu Lu's performance, it is becoming more and more out of the scope of Senior Brother Gao's cognition.

The last time Gu Lu's anti-heaven performance was still vivid, and this time, Gu Lu once again repeated the previous scene.

The same person, in one day, completed the task that is expected to be completed by two people in half a month.

And this time, the difficulty of the task is much higher than the last time.

Last time, Gu Lu just simplified the steps of a set of formulas that originally required complex calculations to arrive at the results by introducing the concept of abstract -K clusters.

This time, Gu Lu started from scratch and reformulated a new set of proof schemes in a very short time.

Both in terms of difficulty and complexity, the latter is higher than the former.

Actually, what Senior Brother Gao doesn't know is one thing yet.

When formulating a new scheme, Gu Lu not only needs to make the proof scheme feasible, but also needs the proof steps of the new scheme to be simpler than the original scheme.

Only in this way can Gu Lu ensure that the second problem of the minimum model program will be solved before the end of the six-month task limit.

After Gu Lu operated on the computer, he said to Senior Brother Gao, "Senior Brother Gao, I sent you the new plan by email, you check to see if there is any problem." ”

Senior Brother Gao opened the document sent by Gu Lu in the mailbox and took a cursory look.

Then, Senior Brother Gao showed a strange expression, "Senior Brother Gu, you ...... proof plan"

"Weird, isn't it? Gu Lu added the second half of the sentence to Senior Brother Gao, and smiled indifferently, "Actually, when I formulated this plan, I also felt this way." ”

"But the truth is, it's right!" the corners of Gu Lu's mouth rose, and his tone was confident.

The new plan proposed by Gu Lu is both simple and complex.

At its core, there are only five words: mathematical induction!

Mathematical induction, no one will be unfamiliar.

As we all know, mathematical induction is a proof method that we have been exposed to since high school, and it can be said to be one of the most basic proof methods.

But Gu Lu's plan is not the most common mathematical induction method in our high school.

But...... Epic math induction to enhance difficulty!

In order to prove the main theorem that the flip operation of a high-dimensional algebraic cluster terminates after a finite number of times, six seemingly unrelated auxiliary theorems need to be proved.

We named the six theorems A, B, C, D, E, F!

The proof of these six auxiliary theorems requires mathematical induction.

For example, theorem D is less than or equal to n-1 dimension, theorem B is less than or equal to n dimension, and theorem C is less than or equal to n dimension.

Theorem A less than or equal to n-dimension, theorem B less than or equal to n-dimension, theorem C less than or equal to n-dimension can be deduced.

Theorem C less than or equal to n-dimension, theorem D less than or equal to n-dimension, theorem E less than or equal to n-dimension can be deduced.

A total of six mathematical inductive expressions are required.

To the uninitiated, it must be a big head, but for mathematicians, it is quite easy to understand.

That's why Senior Brother Gao showed such a weird expression.

Because in the ten years he has been engaged in the mathematics industry, he has never seen a proof method like Gu Lu that uses mathematical induction to extrapolate theorems to each other and then prove the main theorems.

The unheard, the unseen.

It refreshed Senior Brother Gao's knowledge of mathematics.

"Is this really feasible?" Senior Brother Gao was still skeptical.

Because what Gu Lu presented in front of him was a completely new thing that had never appeared in the mathematical world.

Gu Lu smiled and said, "It's not feasible, don't you know if you study it?" ”

Someone always needs to try something new.

And Gu Lu and Senior Brother Gao played the role of the forerunner this time, or rather, the first person to eat crabs.

…………

Half a month later.

Senior Brother Gao said excitedly, "Senior Brother Gu, we, we...... Succeeded?"

Gu Lu smiled and nodded, "It's not completely successful yet, I just completed the first two steps." But to illustrate, we're proving that we're doing the right thing! ”

Senior Brother Gao nodded heavily, his face flushed, "To be honest, I didn't expect that we would go so smoothly this time. Thanks to Senior Brother Gu, your new plan!"

Gu Lu laughed, "As the first person to eat crabs, we are obviously successful. ”

。 m.