Zhao Tian laughed dryly: "Hehe, study and play."

"Then let's study together." Ou Ye walked to the blackboard and carefully observed the deduction formulas on the blackboard.

"Sister Ye Zi sits." Zeng Hanla put the chair behind Ou Ye.

"Yeah." Ou Ye sat down.

"Sister Ye Zi drinks water." Xiaoyun poured a cup of hot water and handed it to Ou Ye.

"Thank you." Ou Ye took the water cup and didn't drink it, just warmed his hands.

Tick ​​tick, time passes.

Ou Ye didn't speak, and the three students were silent.

This may be their research method.

After a long time, Ou Ye asked: "Xiao Zhao Baoyan has arrived in our Mathematics Institute, right?"

Zhao Tian nodded repeatedly: "Yes, yes, I really want to choose Sister Ye Zi as my master's supervisor, but Sister Ye Zi, you don't have students recently, so I can only choose Professor Liu."

"Oh, Professor Liu is a good teacher. He is very good at group theory." Ou Ye said, and she turned to ask the other two: "What are your grade points?"

Zeng Han and Xiao Yun spoke in unison: "4.0."

"Oh, excellent." Although there are not many members in the club where Ou Ye serves as the instructor, each of them is the elite among the students.

After a few simple conversations, Ou Ye stopped talking. She focused on mathematical symbols on the blackboard.

A teacher and three students were just looking at a blackboard quietly.

After a long time, Ou Ye stood up, she wiped off the chalk words on the blackboard, leaving only a single line of words that were lonely: e(q) is the necessary and sufficient condition for the infinite set to be l(e,1)=0.

Proving this sentence proves the BSD conjecture.

But in fact, "e(q) is the necessary and sufficient condition for infinite sets to be l(e,1)=0" is not the form when Birch and Swinnerton-Dell first proposed this conjecture. The assumptions they made initially are stronger than this sentence in mathematical sense, which is the so-called strong BSD conjecture.

The content on the blackboard is a weak BSD conjecture, and the three students were shocked. Did Sister Ye find a breakthrough from the weak BSD conjecture?

Ou Ye continued to write below the weak bsd guess:

l(e,s)=(s-1)^r+high-order term

It is clear at a glance which one is stronger. Of course, the equation below is stronger. It is an expression of the strong BSD conjecture.

Whether strong or weak, it is not difficult for outstanding students in the mathematics department to understand the BSD conjecture, but the difficult one is to prove it.

Ou Ye hesitated for a while, and finally wiped away the weak BSD conjecture and left the strong BSD conjecture.

"Let's do this." Ou Ye knocked on the blackboard.

"Sister Ye Zi, what is it to do?" Zhao Tian asked.

Ou Ye: "Prove it."

"Prove the strong BSD conjecture?" Zhao Tian was shocked.

Ouye: "Yes, we prove it."

"Sister Ye Zi, what do we mean?" Xiaoyun asked.

Ou Ye: "You, you, and you, plus me."

"Sister Ye Zi, you are really playing!" Zhao Tian thought he had heard it wrong.

Ou Ye wondered: "Are you three playing fake?"

Zhao Tian was a little incoherent: "I...I I...I...I said just now. The three of us studied BSD guesses as a joke! Let's talk about me. I have also studied P-to-NP. I believe Professor Shen must have studied these problems. Studying it does not mean that we must prove it... We just took a look and never thought of conquering it."

Zeng Han, who had not spoken, suddenly spoke: "Senior Brother Zhao has already been admitted to the postgraduate degree. Senior Sister Yun and I have nothing to do. Why not follow Sister Ye Zi and learn the skills to prove the strong BSD conjecture."

He easily scored his grade point to 4.0 and was not interested in falling in love. Zeng Han and Xiaoyun were really fine, so Xiaoyun applied for a Hong Kong and Macao pass. Zeng Han wrote and wiped the blackboard here every day, and pondered various academic problems.

Ou Ye stared at Zeng Han. This thin, tall and serious big boy seemed to have the calm and composed temperament of a science student than Zhao Tian who was so whispering.

Zeng Han seemed a little uncomfortable when he was staring at Sister Ye so straightforward. He smiled shyly, and the dimples on his cheeks appeared faintly.

In an instant, Ou Ye said: "Xiao Zeng, I remember you. You are the genius child who was admitted to Yan University at the age of 15."

"I dare not be called a genius, I just know how to do questions." Zeng Han scratched his head, looking stupid.

"You haven't grown up this year, are you?" Ou Ye asked again.

Zeng Han said: "I'm 18 years old a few months away."

"Excellent." Ou Ye nodded.

I don’t know if it’s because it’s great to be admitted to Yanda at the age of 15 or it’s great to be under 18, but Zeng Han is very happy after being praised by Sister Ye.

Ou Ye knocked on the blackboard again and said, "If you three want to do it, just do it with me. If you don't want to do it, forget it."

Zeng Han was the first to express his opinion: "I'll do it with Sister Ye Zi."

Xiaoyun then raised her hand: "I'll do it with Sister Ye Zi too."

The junior brother and sister all expressed their determination. As seniors and president of Ouye Computer Society, Zhao Tian cannot remain indifferent.

Zhao Tian raised his chest and said, "I'm the one!"

So on this ordinary day, a frail and sickly math female professor led three undergraduates to launch a formal impact on the BSD conjecture, one of the millennium problems.

Ou Ye is determined to solve the strong BSD conjecture, which is understandable.

Ou Ye needs an assistant, which is understandable.

The assistant is a doctoral student or a master's student, which is understandable.

However, Ou Ye’s assistant is three undergraduates...well, one of them is a quasi-master.

Even if Zhao Tian, ​​a quasi-master student in the Department of Mathematics, Ou Ye’s assistant is still not strong enough.

At least that seems to be the case.

How did Ou Ye think about it?

She was observing all the morning.

l(e,s) can be extended into a function that gives an answer for any complex s, and a calculus method can be applied to this function. This means that l(e,s) can be represented by the famous Taylor polynomial.

Therefore, the strong bsd conjecture can actually be expressed as: e(q) is the necessary and sufficient condition for infinite set to be r≠0, but for n=0,..., r-1, each coefficient n is 0, and r here is the rank of e.

To put it in a more intuitive description, counting the number of zero terms at the beginning of the Taylor polynomial provides a measure of the degree to which this function is zero at the relevant point.

So another statement of the strong bsd conjecture is that the rank of e gives an accurate measure of the degree of l(e,1) being zero.

The "joking" of these three undergraduates on the blackboard has touched the core part of the strong BSD conjecture.

This is Ou Ye’s observation conclusion.

Mathematics shows talent at a glance.

Zhao Tian, ​​Xiaoyun, and Zeng Han may be vague in the overall situation, but they are smart enough, talented enough, and focused enough on mathematics. These three students are old but they are not in love. They think mathematics is much more interesting than love.

As noon approached, Ou Ye said to the three students: "Everyone will have dinner first, and gather here in an hour."
Chapter completed!