I just want to be a quiet scholar

Chapter 652
After reading the manuscript, Zhou Yu'an said: "I think your plan is generally okay. The only thing that is debatable is that some algebraic processes may be meaningless. But think about it differently. If it is meaningless, it is also meaningful. It is meaningful but meaningless. The meaninglessness of the macrocosm is put on the microcosm, and it may be far-reaching and even become a criterion. The microcosm is meaningful and extended to the macrocosm, and it may be worthless. The BSD conjecture involves a philosophical problem, that is, the principle of partial whole. It seems that Euler's The realm has been sublimated."

Zhou Yu'an's philosophical and speculative comments seemed to open a new door for the three students.

"Hmm...philosophy, I understand." Zhao Tianning thought for a while, then suddenly realized.

"The comprehension is quite high." Zhou Yu'an said admiringly, and he asked: "Zhao Tian, ​​what do you think is philosophy?"

Zhao Tian suddenly became deep: "Philosophy is the security guard at the gate of Yanmen."

Zhou Yu'an: "Huh?"

"The security guard at the gate of our school has three thought-provoking philosophical quotes: who are you, where are you from, and where are you going." Zhao Tian was in awe, and he had an epiphany.

Zhao Tian continued: "I think this is philosophy. Philosophy is everywhere. It is high above, but it is everywhere in the market. And the area at the peak of mathematics may be philosophy. In fact, every mathematical formula is not a philosophical proposition. ?So the BSD conjecture is very important, it is not just a mathematical problem, it is more likely to change the thinking mode of human beings.”

"Li'er is such a rationale, but your understanding is still at the initial stage." Zhou Yu'an saw that there were several computers in this room. To me, the configuration of these computers is too simple: "Could it be that you guys plan to use these broken computers to verify your sister Ye Zi's four-step proof method?"

Zhao Tian explained: "Mr. Zhou, the configuration of these computers is not bad. Sister Ye Zi bought them for us."

"That's why Ouye's political consciousness is too low. Compared with her husband, she is a big political fool." Zhou Yu'an said helplessly.

"Your sister Ye Zi is very rich. Everyone in several colleges knows that she is the chief rich woman of Yan University. However, even if the money is too much to spend, Ouye should avoid buying scientific research equipment out of her own pocket. She has made a political mistake. As a full professor and researcher at Yanda University, she should not have carried out the research project of the BSD conjecture on her own without approving the project and applying for national research funding."

"To put it bluntly, Ouye's actions will give people with ulterior motives some excuses. Just imagine, if Ouye pays for himself, does not go through the school or the national project, and finally proves the BSD conjecture, that is personal heroism, then Just making mistakes."

"We must be clear that any scientific research achievements in public universities and research institutions are achieved with the strong support of the party and the state."

"Shen Qi has done a good job on this point. He has no flaws. Shen Qi's scientific research center will do a 2 yuan basic research project on the Diophantine equation, and it will also go through the National Natural Science Foundation of China." Zhou Yu'an stood up for Ou Ye was worried, and he asked, "By the way, you three outstanding students, have you joined the party?"

"No...not joining the party." After listening to Zhou Yu'an's words, the three students felt a sense of political urgency and some inexplicable tension.

Zhou Yu'an smiled wryly and shook his head: "Well, Ouye, a non-partisan, brought three non-partisan students to conduct research on major mathematical problems without the approval of the party and the state. Suggestion, for your strong BSD conjecture project, you must immediately set up a project and apply for scientific research funding. Even if you apply for basic theoretical research funds within Yanda, it is also possible. I will tell Ouye about this matter. The three of you don’t Use these broken computers, use these broken computers to verify, and verify until the year of the monkey? Starting tomorrow, the three of you will come to Shenqi Research Center, and I will provide you with the highest performance computer in the central mathematics room."

"That's a good relationship, thank you Teacher Zhou!" The students felt the warmth of the organization. Teacher Zhou is an old party member. The awareness of the old party member is really high, and the old party member thinks deeply and meticulously.

So under the party's arrangement, Zhao Tian, ​​Xiao Yun, and Zeng Han came to the Shen Qi Scientific Research Center Building. They used the center's high-performance advanced computer to verify the elliptic curve set by Ouye.

The BSD conjecture has an indissoluble bond with computers.

In the early 20s, computers were in the early stage of development, and there were only a few in the world, mainly placed in several important universities.

British mathematicians Birch and Swinnerton-Dell were professors at the University of Cambridge. They used one of the most powerful computers in the world at that time, "Cambridge EDSAC", to calculate and deduce possible solutions to polynomial equations.

The two mathematicians traveled in the ocean of data, and they keenly identified a new pattern from the massive computer data, thus proposing one of the millennium problems in the history of mathematics, the BSD conjecture.

In the history of mathematics for thousands of years, most of the people who put forward conjectures are often not the ones who prove the conjectures.

The ancient mathematician most admired by many contemporary professional mathematicians is Euclid, who derived the vast and rigorous Euclidean geometry system with five common-sense axioms.

Birch and Swinnerton-Dell proposed the BSD conjecture using computers in the 20th century.

They did not make much effective contribution to the proof of this conjecture.

I guess you prove it, you are awesome when you prove it, and I am also awesome when you prove it... probably this is the routine.

Of course, there are also historical reasons for this.

Before 1995, that is, before Andrew Wiles proved Fermat's last theorem, the international mathematics community didn't even understand whether the BSD conjecture was meaningful.

Most of the effective contributions to the BSD conjecture proofs were born after 1995.

The contemporary international mathematics community has a deep understanding of the mathematical and even philosophical significance of the BSD conjecture. This conjecture must be meaningful, far-reaching, and star-studded.

The international mathematics community is looking forward to having one or several outstanding mathematicians to complete the proof of the BSD conjecture.

The most promising mathematician to prove the BSD conjecture is recognized by the international mathematics community as Shen Qi. However, Shen Qi has never formally launched an attack on the BSD conjecture.

Shen Qi's wife has made substantial research achievements on this conjecture.

Similar to the time when Burch and Swinnerton-Dell first proposed the BSD conjecture, the three students of Ouyer adopted the method of computer operation, and first used the method of brute force to exclude those who did not have the Kolyvagin theorem, Gross-Zagier theorem, Elliptic curves of the order character of the Shafarevich-Tate group.

This operation is not difficult, but quite time-consuming.

After adding the characteristic condition of the Hasse-Weil L function, Zhao Tian couldn't help shaking his body: "Adding one more basic condition increases the calculation amount by 10 to the 12th power... Fortunately, Mr. Zhou lent us this set of high-performance Computer, otherwise I won’t be able to finish Sister Ye Zi’s manuscript after I graduated with a doctorate..."

(End of this chapter)