After reading the manuscript, Zhou Yu'an said: "I think your plan is generally fine, the only thing that is debatable is that part of the algebraic process may not be meaningful. But think about it differently, meaningless is also meaningful, meaningful but meaningless. The meaninglessness of the macro may be far-reaching and even become the norm when put on the micro. What makes sense at the micro scales down to the macro and may be worthless. The BSD conjecture involves a philosophical problem, the principle of the local whole. It seems that Ouye's 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 see. Zhao Tian pondered with his eyebrows, and then suddenly realized.

"The perception is quite high. Zhou Yu'an said with appreciation, he asked: "Zhao Tian, what do you think is philosophy?"

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

Zhou Yu'an: "Huh?"

"The security guard at our school gate has three thought-provoking philosophical quotes: who you are, where you come from, and where you are 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, but it is all over the market. And perhaps the pinnacle of mathematics is philosophy. In fact, every mathematical formula is not a philosophical proposition, so the BSD conjecture is very important, it is not only a mathematical problem, but also has the potential to change the mode of human thought. ”

"Li'er is such a Li'er, but your understanding is still in the initial stage. Zhou Yu'an saw that there were a few computers in this room, for students, these computers were considered the top configuration, but for scientific research, the configuration of these computers was too simple: "Are you going to use these broken computers to verify your Sister Ye's four-step proof method?"

Zhao Tian explained: "Teacher Zhou, the configuration of these computers is not bad, Sister Ye Zi bought them for us out of her own pocket. ”

"So Ou Ye, this person, his political consciousness is too low. Compared to her husband, she is a big political fool. Zhou Yu'an said helplessly.

"Your sister Ye Zi is quite rich, and everyone in the academy 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 his own pocket. She made a political mistake by saying that as a full professor researcher at Yan University, she should not have carried out a research project on her own without initiating a project and applying for national research funding. ”

"I'll say something nasty, Ou Ye will give people with ulterior motives some excuse by doing this. Imagine, if Ou Ye paid out of his own pocket and did not go through the school or the state to set up the project, and finally proved the BSD conjecture, it was individual heroism, that was to make mistakes. ”

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

Shen Qi did a good job in this, he didn't have any flaws, Shen Qi Scientific Research Center did a 20,000 yuan basic research project on the Diophantine equation, and it was also going through the channel of the National Natural Science Foundation of China. Zhou Yu'an was quite worried about Ou Ye, he asked: "Anyway, you three outstanding students, have you joined the party?"

"I didn't ...... Didn't join the party. After listening to Zhou Yu'an's words, the three students had a sense of political urgency and some inexplicable tension.

Zhou Yu'an smiled bitterly and shook his head: "Okay, Ou Ye, a person without party affiliation, with three non-party students, without the approval of the party and the state, privately conducts research on major mathematical problems, or not, or not...... I strongly recommend that your strong BSD conjecture project be approved immediately and apply for research funding. Even if you apply for basic theoretical research funds within Yan University, you can do it, and I will tell Ou Ye about this. The three of you don't use these broken computers, use these broken computers for verification, and you want to verify until the Year of the Monkey? Starting tomorrow, you will come to the Shen Qi Scientific Research Center, and I will provide you with the highest-performance computer in the center's mathematics room for you to use. ”

"That's a good feeling, thank you Teacher Zhou!" The students felt the warmth of the organization, Teacher Zhou is an old party member, the consciousness of the old party members is really high, and the old party members consider the problem deeply and meticulously.

So under the party's arrangement, Zhao Tian, Xiaoyun, and Zeng Han came to the building of the Shen Qi Scientific Research Center, and they used the center's high-performance advanced computer to verify the elliptic curve set by Ou Ye.

The BSD conjecture is inextricably linked to computers.

In the early 60s of the 20th century, computers were in the early stages of development, and there were only a few in the world, mainly in a few important universities.

British mathematicians Birch and Swinnaton-Dyer, professors at Cambridge University, used Cambridge EDSAC, one of the most powerful computers in the world at the time, to calculate and deduce possible solutions to polynomial equations.

Two mathematicians swam in a sea of data, and they keenly identified a new pattern from massive amounts of computer data, thus proposing one of the millennial problems in the history of mathematics, the BSD conjecture.

In the history of mathematics for thousands of years, most people who come up with conjectures are often not the ones who prove them.

The most admired ancient mathematician by many contemporary professional mathematicians is Euclid, who used five common sense axioms to deduce the vast and rigorous Euclidean geometric system.

In the 20th century, Birch and Swinnerton-Dyer used computers to formulate the BSD conjecture.

They didn't actually make much effective contribution to the proof of this conjecture.

I guess you testify, you prove that you are a cow, and if you prove it, I am also a cow...... That's probably the kind of routine.

Of course, there are historical reasons for this.

Before 1995, before Andrew Wiles proved Fermat's theorem, the international mathematical community did not even understand whether the BSD conjecture made sense.

Most of the valid contributions to BSD conjecture proofs were made after 1995.

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

The international mathematical community is very much looking forward to one or more mathematicians who will complete the proof of the BSD conjecture.

Shen Qi is recognized by the international mathematical community as the most promising mathematician to prove the BSD conjecture, but Shen Qi has never officially launched an attack on the BSD conjecture.

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

Similar to Birch and Swinnaton-Dale when they first proposed the BSD conjecture, Oye's three students took a hands-on approach, first using the brute-force exhaustive method to eliminate elliptic curves that do not have the characteristics of Kolyvagin's theorem, Gross-Zagier theorem, and Shafarevich-Tate group order.

It's not difficult, it's just time-consuming.

After adding the characteristic condition of the Hasset-Wey L function, Zhao Tian couldn't help but shake his body: "With one more basic condition, the amount of computation increases by 10 to the 12th power...... Fortunately, Mr. Zhou lent us this set of high-performance computers, otherwise I would not have been able to finish reading Sister Ye's manuscript after graduating from my PhD......"