Hammer of Technology

"I bought a supercomputing center, but it won't be handed over until fifteen days later. Brother Yu will go to familiarize himself with the situation first, and he will be arranged there in the future." Ning Wei replied.

"Bought a supercomputing center?" Lu Dongyi stared at Ning Wei, and suddenly thought that when he took this little junior to buy a house, the little junior told him very modestly that the turbulence algorithm was launched, and the laboratory rewarded him with a sum of money in advance. Enough to buy a house...

I probably understood that this was the start of the patent licensing fee in the later period, and then Lu Dongyi deeply realized the feeling of being rich and self-willed, and probably understood why Ningwei didn't care much about many things.

"How much did it cost?" Lu Dongyi asked after being stunned.

"I'm responsible for paying 1.9 million yuan, and I don't care about the rest. But after buying it, I may have to spend some money to upgrade it or something." Ning Wei replied, after all, some things can't be hidden from people around him.

"Heh...meaning, what do I need to calculate in the future, and I don't have to queue up at the school's calculation platform?" Lu Dongyi, who was relieved, said something.

"Needless to say, it's necessary, let Brother Yu open a permanent account for Brother Lu later." Ning Wei immediately patted his chest and said.

Lu Dongyi shook his head and changed the subject: "Although I said that I gave up the opportunity to study abroad, I suggest that you still keep in touch with the mainstream of the academic world, so that you can know the latest research progress in the academic world at any time, and more importantly, Communication is often one of the most important sources of inspiration.”

Ning Wei thought for a while, and then replied: "But don't you find that the development of mathematics has been stagnant for many years? It has been a few years since the Poincaré conjecture was proved. It seems that it has been a long time since I heard of the mainstream mathematics community. What amazing progress has been made? Otherwise, I just proved a KLS conjecture, how could there be such a big commotion?"

"Um……"

Lu Dongyi was silent. The 2022 Fields Medal was finally awarded to five mathematicians, but probably none of the winners was groundbreaking or could leave a significant achievement in the history of mathematics.

For example, one of the mathematics professors in Kangaroo Country won the award because of the comprehensive analysis of number theory, homogeneous dynamical system, topology and representation theory, and solved some problems in the distribution of arithmetic objects.

How should I put it, the timing of Ning Wei's emergence is indeed too coincidental. A series of magnificent achievements all came out in the year when the World Congress of Mathematicians was held, and the list of reports at the conference was determined long ago. Well, Ning Wei was not included in the candidates at all, otherwise it would be unreasonable not to award Ning Wei this year's Fields Medal for his achievements.

The four-yearly World Congress of Mathematicians is held in July. Ning Wei’s paper on the general solution of the NS equation under three-dimensional specific conditions was not published on Nature until the end of March due to a lot of bad things, proving that the KLS conjecture has reached the end of May , although the mainstream mathematics community has paid attention to Ning Wei, but in the end Ning Wei still missed the current World Congress of Mathematicians.

Therefore, Lu Dongyi really had no objection to what Ning Wei said.

"Look, you agree with me, right? Now we only count the journals above the second district, and we will find that thousands of new mathematical theorems may appear every day, but 90.00% of them may be swept away after a few years. Into the trash can of history. From twin primes to Mersenne primes to Ge Guess, how many papers can a serial proposition produce each year? Sometimes I think, if one day Ge Guess is falsified, the world's mathematics journals If the relevant papers that need to be deleted are all printed out on A4 white paper, they can probably circle the earth twice on the equator." Ning Wei sighed.

"Don't talk nonsense in front of Director Tian, ​​he will vomit blood after hearing this." Lu Dongyi said angrily.

Ning Wei ignored Lu Dongyi's words and continued, "So, I always think that the best direction for the application of mathematics is to design theoretical guidance for today's artificial intelligence development direction. As long as we can develop a complete set of Theory can comprehensively provide theoretical basis and technological innovation for various algorithms in the field of artificial intelligence to neural networks. What is one or two Fields Medals? I am not a junior, I am bragging. If it is really successful, we will give IMU The rotating chairman made a phone call and asked him to arrange the next conference to be held in our research institute, and he didn't even dare to fart!"

"More than that, if we can really achieve this, we will directly open two journals in China, both of which are aimed at this field, one mathematics journal and one computer journal. As the founders, we want to Mathematicians and computer scientists in this direction of theoretical research must be our first choice. Think about it, how many people will devote themselves to building our theories and algorithms in the future with the current booming market demand for artificial intelligence? In a few years, as long as it is in the field of artificial intelligence, we will have an absolute right to speak!"

"Think about it, when people are still looking for the next blue ocean market, we are creating a blue ocean! No one who wants to communicate can't get around our theoretical foundation, and can't get around the various foundations developed under the guidance of our theory. Intelligent algorithms, future smart phones, PC devices, wearable electronic devices, self-driving cars, smart homes, and even basic industrial robots, industrial master machines based on intelligence, basic software, etc., all rely on The theory and algorithm we built."

"On that day, the Fields, Nobel, and Turing Awards are not because we are begging others to award them to us, but they are begging us to send people to win the awards! Because if we don't go, it will appear that their broken awards are not enough. Formal. We can even create new awards, such as the Ninglu Intelligence Award! It is awarded every four years, and it is awarded to the scientific researcher who has made the greatest contribution to the field of artificial intelligence in the world! The prize money is higher than the Nobel Prize, and the honor is also greater than the Nobel Prize. , after all, our technology is related to every aspect of human life in the future, and is more valued by ordinary people!"

"Furthermore, at that time, even if the former dragon slayer becomes a dragon, no one can do anything to us! Let's forget about our own people, and anyone who dares to BB outsiders can learn from that Lucasson Friend Son, just tell him to shut up! Thinking about it this way, do you feel a little excited?"

Ning Wei's long speech left Lu Dongyi completely dumbfounded.

How much did Lucasson Flender deal a blow to his junior brother, and he even started to think that the dragon slayer would turn into a dragon to bully others?Of course, this is still the second thing. The most terrifying thing is that Ningwei's thinking is very far-reaching. If these are Ningwei's real thoughts and they are really realized, this description is not necessarily too exaggerated, because all this has happened before.

Regardless of whether it is software or hardware, the West has already relied on various intellectual property rights and patent protection rules to protect basic technologies tightly.These rules are also the basis for multinational technology companies to invest in research and development to maintain technological leadership. If Ning Weizhen can design a whole new set of theories for artificial intelligence, and derive corresponding algorithms and succeed, it will guide the future of strong artificial intelligence. The direction of development, the influence on the whole world may really be infinitely magnified.

The question is probably only whether the idea will be successful.What Lu Dongyi didn't know was that Ning Wei's confidence was really inflated at this time.

Of course, Ningwei's confidence is not born out of thin air.Since yesterday when he had an epiphany while listening to classmate Jiang playing the piano and wrote that inequality, he has connected all the things he had done before.

Starting from the study of NS equations, his biggest achievement is not the paper on the general solution of NS equations under certain conditions, nor the influence of Ningwei Space in the industry, but the birth of the turbulence algorithm, which itself hides software intelligence thought of.

When he was interviewed, he reacted to the field of artificial intelligence, came up with the idea of ​​developing an EDA software, and began to put it into practice, which is a big step forward in this direction, although his EDA software is not yet available. It has caught the eyes of the world's mainstream chip designers, but it will definitely be a big help in the future.

Immediately afterwards, at the SODA conference, he was touched again, which led to the birth of March. After arriving at Yanbei University, under the influence of March, he chose the research direction of big data and basic theory of artificial intelligence...

To put it bluntly, Ning Wei discovered that his brain was leading him to develop further into the field of artificial intelligence step by step, and then it evolved into the current situation.Ning Wei has almost figured it out. A major breakthrough in the field of strong artificial intelligence is definitely not just a simple innovation in civilian applications. The most important thing is in the field of scientific research. If March's ability can be replicated, it will be It is equivalent to having countless assistants who can assist in high-frequency calculations day and night.

This has been tested, such as assisting Professor Tan's carbon nanomaterials project experiment.

The fundamental reason why Ning Wei is so confident is that he has a specific object to study. Through in-depth excavation of Sanyue's ability, he can supplement and verify his research theory. An advantage that cannot be possessed is an advantage that all theoretical mathematicians cannot touch.

When he has solved all the five basic theoretical problems he summarized, it will be the time when he can officially meet the world in March.At that time, no matter which research direction he turns to, he will be able to get twice the result with half the effort, and there is a high probability that he will not fall into the dilemma of lacking money for research and development.

So Ning Wei was full of confidence at this time, so he was full of ambition, so he dared to say these words to Lu Dongyi, in exchange for the senior brother's mind full of confusion.

"Ning Wei, I think your idea is very good, but you are telling me this now, what is it?"

"Isn't my expression clear enough? Of course, I want to persuade Senior Brother Lu that you put aside all the messy opening questions and come to lay the foundation for our career with me. Look, I still have several branch theories here. We need research, we need people to help us, we need to discuss with people to clarify our ideas, and we need to train a group of graduate students and doctoral students in this field in the future. I can’t rely on me alone, can I?”

"So, I think so. The two of us are responsible for theoretical research first, and Yu Xingwei is responsible for digesting our theories and developing suitable algorithms. When we have results again, we can find more people to join in. .At that time, you will be responsible for explaining the ideas we explored at the beginning, teaching the courses to the newcomers, and then we will continue to advance in the final direction. After we finally develop a set of self-consistent and proven theories, our project will be similar Brother Lu, what do you think of being independent from the Institute of Mathematics to set up an international artificial intelligence institute?"

Ning Wei simply stated his thoughts.

Lu Dongyi was a little dazed. It turned out that Ning Wei had made such a big circle because he wanted to poach him, let him change his research direction, give up the research on PDE and devote himself to the new field of artificial intelligence mathematical theory construction. He subconsciously glanced at the table My own proposition, roughly cutting into the direction I just thought about, fell into deep thought.

I have to say that Ning Wei's words are very deceptive.

To create a new field and become the founder of strong artificial intelligence, he is a little excited to think about it. Of course, the choice is not without risk. After all, artificial intelligence is a new field for him, and he needs to give up the current stage. The research content of the results to re-learn a new field, and I don't know if it will be successful in the future, but...

"Senior Brother Lu, I have always felt that we can't always lie in the comfort zone when doing scientific research, just like Director Tian asked me to continue to study NS equations. I also know that if this trend continues, it is indeed the most likely to produce results, but I am still decisive. I gave up. Why? Because it’s not worth it. If you don’t try your best when you are most energetic, you will definitely regret it in the future! Also, after two more Fields Medals, you will be over 40 years old, right?”

After hearing this, Lu Dongyi raised his head, took a serious look at Ning Wei, and said, "Little brother..."

"Ok?"

"You are amazing. What you said today means that if I don't join you, I'm afraid I won't have the heart to study my own project in the future."

As he said that, Lu Dongyi simply picked up the manuscript paper in front of him and tore it off, and then continued calmly: "Okay, I will study your previous papers carefully from now on, and we can meet anytime if you have any questions." comminicate."

------------

189 Be fair in everything you do

Lu Dongyi's words were simply beyond Ning Wei's expectations. He thought he would have to say a few more words, but fortunately, the senior brother seemed to see his doubts, and before he turned around, he said with emotion: "According to what you said, If one day, our achievements can really reach the level where we have to pass cigarettes first when we meet Einstein, and to toast first when we meet Newton, it is really worth looking forward to.”

Ning Wei paused, savoring the pursuit, except that it was a little unlucky, there was nothing wrong with it.He immediately replied without turning his head: "As long as we have self-confidence, we will definitely be able to do it!"

"Oh, by the way, the day after tomorrow is the seven-day National Day holiday. It's better to be relaxed when doing things. I suggest you go out and have fun for a few days. After the holiday is over, I will monitor your work status every day." Lu Dong Yi said something again.

Ning Wei waved his hand casually to represent that he knew, and then returned to his office decisively.

When people fall into thinking about the future, they usually talk a lot of nonsense, even with high IQs, such as Lu Dongyi.

The mood is naturally better. After Ning Wei thought through a lot of things, he suddenly realized that what he wanted to do was definitely not enough for him alone, even with Yu Xingwei. There must be a group of people who can share with him. The same philosophy, and then fight for this goal together.

Lu Dongyi is undoubtedly very suitable from any point of view.Needless to say, his own intellectual ability, he is still an associate professor at Yanbei University, and he has great influence in the domestic mathematics field, especially among the students. In the future, he will surely attract many interested students. In addition, I have teaching experience, it is perfect!

After tying Lu Dongyi to the chariot, we still have to make something to encourage everyone.

Sitting at his desk, after a moment of complacency, Ning Wei realized that the office had obviously been tidied up, all the messy things he had messed up in the morning had been neatly arranged, and two flowers were placed in the vase on the window sill. Fresh sweet-scented osmanthus exudes a pleasant floral fragrance.

Apparently, classmate Jiang came here to clean up. Ning Wei closed his eyes, sniffed the aroma in the room, opened his notebook, and continued to think about how to build his theoretical framework.In fact, after participating in the stoc conference, Ning Wei built a basic framework for basic artificial intelligence and used it in the main program construction in March, so what he needs to consider now is a more abstract problem, machine consciousness modeling .

To put it more clearly, it is to describe the entire information system of the physical state through a mathematical model.If this theory needs to be established, then it can be understood that the adaptive algorithm will be the consciousness of the machine.

To solve this problem theoretically, the most difficult step is to solve a philosophical proposition, non-reductionism.Specific to the field of artificial intelligence he is considering now, the general description is to prove whether all or most of the human-like advanced intelligent activity process in this world can be restored to the calculation process.

If possible, it is necessary to give a specific derivation process; even if not all human intelligence activities are reduced to calculation processes, in theory, it is necessary to give as much as possible the principle that advanced intelligence can be reduced to basic calculation processes, because this is strong artificial intelligence The most important part of mathematical theory.Of course, if possible, try to prove that the discarded part is useless intelligence...

For example, for humans, there is actually no need to add aesthetic functions to smart devices that assist you.After all, it cannot be said that a customer who looks too abstract will buy the latest smartphone in the future. The smartphone can also provide smart services in an inefficient mode for a long time because the camera perceives that the owner is too ugly. Advanced Smart Restore for the hassle-free.

This is what Ning Wei is doing.

He needs to transform a series of intelligent response processes required by humans into computational processes to provide a strong theoretical proof, and combine big data to prove that machines can have active learning capabilities, and provide a more accurate computer vision, hearing and even touch. Simpler and more precise theoretical guidance.

It sounds simple, but actually it is a very complicated process.When making a mathematical model, it is necessary to fully consider its scalability, including each calculation unit and each operator. To realize a very simple capability may require a multi-level compilation or interpretation system called by a multi-level programming language.This point is the experience gained from building the March main program.

Taking March as an example, now March has a certain program perception ability and the ability to recognize basic semantics, all of which are based on active learning.But in fact, as far as the current March is concerned, compared with her review of those mathematical manuscripts that can be formulated, the computing power consumed in identifying basic human semantics is more.

If you want machines to recognize language semantics like humans, especially the semantics that can express rich emotions in different environments, it often requires machines to have insight into emotions.

And all of these are the basis of the theoretical framework of artificial intelligence, which is naturally extremely difficult. What Ningwei can do is to decompose all problems into small problems, and then solve them one by one, and finally form a whole set of big theories.

For example, he has solved one of the simplest big data compression problems.Through strong compression, the artificial intelligence program can obtain the most data in the shortest time to exercise its own analysis and judgment ability.What Ningwei is doing now is the calculation and restoration process of human understanding of semantics and emotions.

After this part is finished, his top-notch youth project can also be successfully completed. By the way, it may not be a big problem to win a Turing Award.Although the difficulty of this piece is extremely large, it is beyond imagination, but with March as a reference, the difficulty has plummeted a lot. The most critical point is to restore the calculation mode of the entire learning process.

After roughly browsing the content that has been completed before, Ning Wei quickly started to build a model of the behavior pattern determined in the brain in the program.

"Definition 7. A data object o is a variable v of a given class t, v ∈ v ? pv ? u, constrained by the type constraint μv(t) so as to transform this general class t into a given A specific class t′ of the given problem.

"That's o?"

……

"Hi, are you back?" When the office door opened and Jiang entered the office, Ning Wei just passed the definition listed and completed the proof of a theorem in the thesis.

"Yeah, I've been busy all day, and I'm exhausted." Satisfied, Ning Wei pushed away the notebook in front of him, and looked at the time, it was exactly 09:30 in the evening.

"What are you up to?" Jiang asked casually while sitting in front of the piano.

"I went to buy some second-hand computer equipment." Ning Wei replied after thinking about it.

"Oh!" Classmate Jiang nodded, and then pushed the piano cover away.

"Well, it cost about [-] million." Ning Wei said again, there are some things that the girl needs to know, he is not interested in hiding his worth like in the TV drama plot, and then causing some light comedy in the world.

The two have already confirmed that they are together, there is no need to hide some things.The main reason is that Ning Wei feels that he will earn more than a few hundred million in the future.

The girl paused her hands, turned her face sideways and looked at Ning Wei who was sitting across from her with some doubts: "Two hundred million means RMB?"

"Well, my patent authorization has arrived in the account a few days ago. Considering that I want to make March more powerful, I went to buy a supercomputing center today. Remember what I told you, I will authorize the turbulence algorithm Yes, and then we can distribute some money every quarter." Ning Wei nodded and explained.

"Oh!" Jiang Chenshuang pouted and nodded, and asked, "Then you should be considered early financial freedom, right?"

Ning Wei thought for a while, and it seemed to be the case, so he nodded and said, "If you don't mess around, it's almost enough. But it depends on how you spend it. For example, it costs 1.9 million to buy a supercomputing center. To maintain this supercomputing center The calculation center spends a lot of money every month, and after asking about it, including all the discounts, it will cost hundreds of thousands of dollars per month."

"Then you have to keep working hard. If you want to build a large laboratory in the future, it may cost more money." Jiang Chenshuang nodded, said something, and then put her hands on the electric piano naturally.

Letting the sound of the piano flow in the room, Ning Wei immediately shut up, admiring the posture of the girl playing the piano, as if admiring a piano solo in the golden hall of Vienna.Of course, it would be more perfect if the electric piano is replaced with a more atmospheric piano.

An hour passed quickly, and when Jiang Chenshuang closed the piano cover as usual, Ning Wei also stood up from his seat: "Let's go, I'll take you back to the dormitory."

The child nodded, and walked out of the office as usual, being held by Ning Wei.

"Professor Lu's lights are still on, are you still busy?"

"Senior brother Lu has been busy recently, there is no way, he is too behind in his homework, he has to catch up quickly." Ning Wei said proudly.

It is not an easy task for a mathematician to abandon his original research and change to a new direction, but he has done it, of course he has reason to be proud, which at least represents Brother Lu's recognition of him.

"Brother Lu still needs to do homework?" Jiang Chenshuang asked suspiciously.

"Hey, if you change your research direction, of course you have to do enough homework in the early stage. This is the same as when you study mathematics. For example, when you start to learn L'Hopital's rule, you have to keep doing problems and connect, and use this mathematical tool proficiently."

Ning Wei explained, and then said: "Don't bother with Senior Brother Lu, the day after tomorrow is National Day, and I'm going to give myself a few days off. Is there any place you want to go in particular? We can go out and play around."

"There are a lot of people on National Day, so why don't you go out to join in the fun? And you also said that the supercomputing center will cost a lot of money in the future, and it's expensive to go out on holidays when there are many people. It's better to stay in the school." The girl shook her head and said.

"Money is actually not a big problem. You can't underestimate my ability to absorb money, but if you think there are too many people, let's make a plan for visiting the capital. Speaking of which, I have been in the capital for such a long time, and I really haven't gone out for a stroll. , you have to accompany me." Ning Wei demanded.

"Oh, then we'll go out to play for three days. In the remaining four days, I'll review my homework and prepare for the midterm exam, so you can do your research, okay?" The girl turned her head and begged softly.

After hearing this, Ning Wei was a little annoyed, and asked, "Is the midterm exam so important?"

Jiang Chenshuang thought for a while, then nodded, and answered honestly: "It's not good if you don't pass the exam. I have to read more books to understand the concepts of corporate finance and bank currency in this semester, and I'm still a high school student this year." Mathematics B and Linear Algebra are the last semester course, if you don't pass, you really have to retake it."

"No, why do you think that your high math B and line generation will be retaken? Chenshuang, are you a little too contemptuous of your boyfriend? From now on, after you bring me meals every night, I will help You study these two subjects for an hour," Ning Wei said.

Ningwei doesn't know much about economics, but when it comes to advanced mathematics and linear algebra, he is really energetic.

"Then won't this delay your research?" Jiang Chenshuang said with a pout.

"Let you do the questions for half an hour, find out where your problems are, and explain to you for half an hour, what can I delay? Don't worry, the time for you to tutor is for me to rest my mind. By the way, I last time Did you send all the information that your friend compiled for you to your sister?" Ning Wei asked again.

"Sent..."

"Well, that's fine, then tell your sister, are those materials prepared by her brother-in-law?"

"Ah..." Jiang Chenshuang was a little dazed, then honestly shook her head.

"So you're talking about a friend?" Ning Wei was unhappy again, and asked the girl beside him with a sideways glare.

Jiang Chenshuang nodded unobtrusively, and argued in a low voice, "She's in her third year of high school, so why tell her this?"

"What's wrong with that? You're in love, not her."

Ning Wei muttered, thought for a while, took out a bank card from his pocket and handed it over: "I don't care about this matter with you, you take this card, you have to bring me dinner every day, In the future, my meal expenses will be paid out of this card. There is no money in it. This is a card required by my postdoctoral school. It contains the subsidy for my Ph. It seems to add up to about [-] yuan a month, anyway, it’s not much, you can use it as you like. The password is my birthday, and I will send it to you on WeChat later.”

"Is that bad?"

"What's wrong? I've said it all. It's salary. I give my things to whoever I like, and I don't want to give them to others, so I can't think about them. Why, besides, you took my first kiss away mercilessly yesterday. Do you still plan to give it to me later? Irresponsible?" Ning Wei asked sharply.

"Ah?!" Student Jiang looked at Ning Wei in amazement and was stunned again. He probably didn't expect someone to be so shameless.

Seeing the girl's dumbfounded look, and the fact that the two of them just walked into the dark place between two streetlights, Ning Wei couldn't help but hugged the girl again, and then bowed his head...

How should I put it, my first kiss was taken away yesterday, of course I have to get it back today, the word fair is very important at any time.

------------