Professor Lyndon Strauss and the Need for Lightning-Fast Typing

A private hospital room.

Ou Ye's physical condition is better than before she was admitted to the hospital for clinical trials, but she is still an R-type Anemia patient. Although her condition is under control, she is still a patient.

Ou Ye declined to be interviewed and was ashamed to appear in the media spotlight.

Shen Qi took it upon himself to become Ou Ye's spokesperson. His experience in dealing with all sorts of people and his ability to handle various matters far surpassed Ou Ye's.

In fact, Shen Qi felt that at this stage, it was appropriate for Ou Ye to appear in public, such as giving media interviews or holding special report meetings.

Of course, living in seclusion for so long did not have any impact on Ou Ye's academic achievements.

The most important indicator for evaluating a person's mathematical achievements is the academic documents they provide.

Perelman posted his manuscript proving the Poincaré conjecture on arXiv and then went about his business, living in seclusion in a rural-urban fringe area of Russia, neither giving interviews nor appearing in public, and even neglecting to accept the Fields Medal.

Perelman's eccentric and almost mystical behavior did not prevent him from becoming the first great mathematician to prove the Millennium Prize Problem.

In the History of Mathematics, the first person to introduce the Millennium Prize Problem was Perelman, followed by Shen Qi.

To reiterate, in the field of mathematics, practical work is always more important than empty talk.

Shen Qi sat by Ou Ye's hospital bed, holding Ou Ye's hand and saying, "The BSD Conjecture such an important problem. Under normal circumstances, you should hold a special report meeting soon, inviting top mathematicians from around the world to attend. You don't need to organize it; let the mathematics department arrange it. All you need to do is stand in the center of the stage and truthfully present your mathematical ideas."

"Qi, you know I'm most afraid of facing so many people."

"Alright, it's fine if we don't have a meeting. The most important thing is still the paper."

"Qi, I feel better these past few days. How about I write the paper that gets published in a journal?"

"I've already written half of it."

"Huh? It's only been a few days? You're so fast! Let me see how it's done."

Shen Qi opened his portable computer and clicked on the semi-finished paper he had written based on Ou Ye's manuscript.

Ou Ye knew Shen Qi was fast, but she didn't expect him to be this fast.

"You've already written 192 pages, Qi, are you a tentacle monster?"

Ou Ye handed her forty-two-page manuscript to Shen Qi, and only two or three days had passed.

Let's take an integer, three days.

In other words, Shen Qi types on the computer, writing 64 pages a day.

He wrote the paper in English, but it actually contained relatively few English words and mostly mathematical symbols.

Based on byte conversion, one page of Shen Qi's English mathematical paper is equivalent to 300 Chinese characters.

This means Shen Qi writes 19,200 words a day, faster than most online novel authors. Moreover, Shen Qi is writing a professional paper on the Millennium Prize Problem level.

"Go home, leave the computer here, I'll take a look at it. Or you can copy this file to my computer," Ou Ye said.

Ou Ye's original manuscript was only forty-two pages long, but Shen Qi managed to turn it into a standard-format paper of 192 pages, and these 192 pages were only half of the original.

A manuscript is similar to a draft, but it is not entirely a draft.

It's like an outline; when dealing with mathematical problems, the core steps method is used, so there's no need to list all the details, just give the core logic.

A 42-page manuscript, under normal circumstances, would be converted into a standard-format paper of over 100 pages.

For example, when deriving L'(E,1)/cE from the Gross-Zagier equation, in a standard paper, the author still needs to provide the main derivation steps, provided that appropriate references are cited. This would take about 1 to 2 pages.

In Ou Ye's manuscript, she wrote only one line of formula: Gross-Zagier Formula → L'(E,1)/cE → rational number.

Therefore, converting a manuscript into a standard paper involves a lot of tedious work and is quite time-consuming; it is equivalent to secondary processing and refinement.

This shows that Shen Qi wrote a 192-page paper in three days; he is indeed a prodigious writer with an astonishingly fast typing speed.

Shen Qi's plan was about 380 pages long, and he wanted to write down all the details clearly so that other mathematicians could review it.

To put it simply, Shen Qi wanted to write a simple and easy-to-understand Xiao Bai to avoid delays in the review process due to readers not being able to understand it.

"Wife, I'll help you with this research." As a man without a mistress, Shen Qi spend more time with his wife.

"Nophie will be home from school soon, you need to go home and be with her."

"It's alright, Sister Cuiping is here."

In the hospital room, Shen Qi sat on a chair at the computer desk, with Ou Ye sitting on his lap. The two faced the computer screen, their four hands operating the mouse and keyboard.

"Qi, I think we should do Taylor expansion here?"

"We could do Taylor expansion, but if you do Taylor here, you'll have to continue expanding later. 380 pages won't be enough; it'll probably be 400 pages."

"Write it in more detail, so others won't misunderstand."

"Then let's unfold it."

Shen Qi and Ou Ye held hands and were heart to heart as the couple worked together to perfect their thesis. Their sweet and affectionate moments filled the hospital room, creating an atmosphere thick with the cloying scent of love.

The single nurse outside the door was hit with a critical strike, and she quickly slipped away to change shifts.

Beep beep beep.

Shen Qi's phone rang.

Shen Qi answered the phone, "Nofi?"

The caller was Shen Nuo Fei: "Dad, why aren't you home yet?"

Shen Qi: "Dad's taking care of Mom at the hospital. Nofi, you should go to sleep first. I'll finish telling you the story of Tesla versus Edison tomorrow."

Shen Nuo Fei: "Hmm, so you were taking care of Mom. I thought you didn't want me anymore!"

Shen Qi smiled, "Silly girl, you are Daddy and Mommy's little darling. We love you so much, how could we not want you?"

Shen Nuo Fei: "Just tell me directly on the phone, did Tesla win or Edison win? I can't sleep if you don't tell me!"

Shen Qi: "Tesla won."

Shen Nuo Fei: "That's awesome! Tesla is definitely more powerful! I'm going to sleep now. Goodnight, Mom and Dad, bye-bye!"

After ending the call, Ou Ye asked in confusion, "Tesla won?"

Shen Qi nodded. "Tesla won. Don't worry, I won't tell the kids any nonsense. Tesla really did win. As for how he won, I'll tell Nofi the details tomorrow."

Shen Qi is quite busy, with strong women around him and gentle women at home; he's got plenty to keep him occupied.

This, too, is a kind of happiness.

Shen Qi was willing to give everything for these two women.

Beep beep.

Shen Qi's computer beeped; there was a new email.

"I need to check my email."

Shen Qi switched to the email interface; the sender was Andrew Wiles.

Andrew Wiles wrote in the email:

"Dear Qi, I really am a grandfather again! I now have seven grandchildren. It feels so good!"

"My student Hadamard made some inappropriate remarks, but I think they are harmless. In fact, we all know that once the argument that rank is greater than or equal to 2 is proven to be true, then it is not so important who proved rank 0 and 1 first."

"In fact, Hadamard's proofs for rank 0 and 1 also incorporate some of my ideas. To reiterate, once the argument that rank is greater than or equal to 2 is proven true, everything before that becomes irrelevant."

"Wishing your wife good health and you both happiness."

Ou Ye saw all the emails Andrew Wiles sent to Shen Qi.

Ou Ye strongly agreed with Wiles's view that once the argument that rank is greater than or equal to 2 is proven to be true, the previous conclusions are just preludes. It doesn't matter who completes the prelude first; what matters is who completes the decisive final proof first.

Ou Ye also realized that mathematicians around the world had begun to verify her manuscripts.

Papers submitted to journals undergo a rigorous review process.

For papers of the caliber of the BSD Conjecture, the reviewers chosen by the journal would not be just anyone; they would be the top mathematicians in the field.

Furthermore, the issue of avoiding conflicts of interest must be taken into account; in principle, Ou Ye's husband and her supervisor should not be reviewers for Ou Ye papers.

However, anyone has the right to review manuscripts posted on arXiv.

Of course, this is on the premise that you can understand the manuscript.

After all, compared to standard academic papers, manuscripts tend to appear more elegant and flowing.

"Honey, I think we should finish the standard paper as soon as possible. I can understand your manuscript, Wiles might be able to understand it, and your advisors Lyndon Strauss and Gong Changwei should be able to understand it too. These master mathematicians are actually quite kind; what they hate most are those little rascals. I bet Hadamard definitely didn't fully understand your manuscript, which is why he made such naive remarks."

"Qi, you should go home first. For a child, at least one parent should be home."

"Okay, I'll head back now. I'll come see you again tomorrow."

Shen Qi was right. He could understand Ou Ye's manuscript, Wiles might be able to understand it, and Ou Ye's mentors, Lyndon Strauss and Gong Changwei, should also be able to understand it.

Understanding something is one thing; proving whether the conclusions of this manuscript are valid or invalid is another matter entirely.

Perelman's proof of the Poincaré conjecture was published in 2002-2003. Mathematicians reviewed the proof for three years, until 2006, when the Mathematics Community finally confirmed that Perelman's proof solved the Poincaré conjecture.

In fact, two months after Perelman published his manuscript, a mathematical team provided a reasonable explanation for the Poincaré conjecture, thus verifying the validity of Perelman's manuscript.

The next three years were spent in endless debate between the supporters and the opponents, until the supporters gained a clear advantage and Perelman's proof of the Poincaré conjecture was finally recognized worldwide.

Columbia University, USA.

Professor Gong Changwei, a number theory expert, is completely absorbed in Ou Ye's manuscripts.

Ou Ye was his student; Ou Ye became his student while pursuing his master's degree at Columbia University.

In principle, Gong Changwei should not be Ou Ye's reviewer.

However, Gong Changwei didn't care about roles like reviewer; he simply wanted to verify the validity of his students' proofs through the purest mathematical approach.

"I'll take on the task of explaining the Ou Ye version of the proof scheme." Gong Changwei was already over 40 years old, and he had no chance of winning the Fields Medal unless there was another special case like Wiles's awarding of the prize to people over the age limit.

Meanwhile, Israel.

Professor Lyndon Strauss, a national treasure-level mathematician in Israel, was also captivated by Ou Ye's manuscripts.

When Ou Ye was pursuing his doctorate at Princeton, Professor Lyndon Strauss was his advisor.

Professor Lyndon Strauss has already received the Fields Medal, and his attitude is very simple: to use the purest mathematical thinking to verify whether the proofs made by his students are valid.

"I will take on the task of interpreting Ou Ye's proof." Lyndon Strauss immediately assembled an elite Israeli mathematical team specializing in number theory, Elliptic Curve, and Group Theory.

Israel has a population of over 8 million, and the elite mathematical team organized by Lyndon Strauss can almost represent the mathematical strength of the entire country.

(I updated 10,000 words today. Please give me some votes for my hard work.)