Tech Hammer

Lu Dongyi's simplicity was a bit beyond Ning Wei's expectations. He thought he would say a few more words, but fortunately, his senior brother seemed to see his doubts. Before he turned around, he sighed: "As you said, If one day, our achievements can really reach the level where Einstein has to offer us cigarettes first, and Newton has to toast us first, it will indeed be worth looking forward to."

Ning Wei paused for a moment and tasted the pursuit. Except that it was a little unlucky, there was nothing wrong with it. He immediately replied without looking back: "As long as we have confidence, we can do it!"

"Oh, by the way, the day after tomorrow is the National Day holiday. It's better to have some relaxation when doing things. I suggest you go out and have fun for a few days. After the holiday is over, I will supervise your work every day." Lu Dongyi said again.

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

When people are caught up in thinking about the future, they usually talk a lot of nonsense. Even people with high IQs are not immune to this, such as Lu Dongyi.

His mood was naturally better. After Ning Wei figured out a lot of things and suddenly became enlightened, he already understood that what he wanted to do was definitely not enough for him alone. Even if he added Yu Xingwei, it would not be enough. There must be a group of people who can work with him. We share the same philosophy and work together to achieve this goal.

Lu Dongyi is undoubtedly extremely suitable from all aspects. Needless to say about my own intellectual ability, I am still an associate professor at Yanbei University, and I have great influence in the domestic mathematics community, especially among students. If I raise my arms in the future, I will definitely attract many interested students. Plus I have teaching experience myself, it’s perfect!

After tying Lu Dongyi to the chariot, he still had to make something to encourage everyone.

After sitting at his desk, Ning Wei found out that the office had obviously been tidied up. The things he had messed up in the morning had been neatly arranged, and two flowers were placed in the vase on the windowsill. Fresh osmanthus flowers are exuding a pleasant floral fragrance.

Apparently this was something that Mr. Jiang had specially come to clean up. Ning Wei closed his eyes and sniffed the aroma in the room, then opened his notebook and began to think about how to build his theoretical framework. In fact, after attending the STOC conference, Ning Wei built a basic framework for basic artificial intelligence and used it in the construction of the main program in March, so what he now needs to consider is a more abstract issue, machine consciousness modeling. .

To put it more clearly, it is the entire information system that describes the physical state through mathematical models. If this theory needs to be established, then it can probably be understood that the corresponding 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 processes in this world can be reduced to calculation processes.

If possible, a specific derivation process needs to be given; even if not all human intelligent activity processes can be reduced to calculation processes, theoretically, it is necessary to give as many principles as possible 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, we should try to prove that the discarded part is useless intelligence...

For example, for humans, there is actually no need to add aesthetic functions to the smart devices that assist you. After all, it cannot be said that a certain 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 senses that the owner is too ugly. This is a gift to oneself. Advanced smart restore for troubleshooting.

This is what Ningwei is doing.

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

It sounds simple, but in practice it is an extremely complicated process. When making a mathematical model, you need to fully consider its scalability, including each computing unit and each operator. To realize a very simple capability, you may need a multi-level compilation or interpretation system called by multi-level programming languages. This is the experience gained from building the March main program.

Take March as an example. Now March has a certain ability to perceive programs and recognize basic semantics. These are all based on active learning. But in fact, as of the current March, compared to her review of those mathematical manuscripts that can be formulated, more computing power is consumed in identifying basic human semantics.

If you want a machine to recognize language semantics like humans, especially to recognize some semantics that can express rich emotions in different environments, you often need the machine's insight into emotions.

All of this is the basis of the theoretical framework of artificial intelligence, which is naturally extremely difficult. What Ningwei can do is to break down all the problems into small problems, and then solve them one by one, and finally form a complete set of big theories.

For example, he has solved the simplest big data compression problem. Through strong compression methods, artificial intelligence programs can obtain the most data in the shortest time to exercise their own analysis and judgment capabilities. What Ningwei is doing now is the computational reduction process of human understanding of semantics and emotions.

Once this is done, his top youth project will be successfully completed, and it will probably not be a big problem to win a Turing Award by the way. Although this area is extremely difficult and beyond imagination, with March as a reference, the difficulty has plummeted a lot. The most critical point is to restore the calculation model of the entire learning process.

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

"Definition 7. A data object O is a variable v with a specified class T, v∈V PV U, which is restricted by a type constraint μv(T) so that this general class T is transformed into a given problem by subdomain clipping T" A specific class T′.

"i.e. O"

…

"Hi, you're back?" When the office door opened and Jiang walked into the office, Ning Wei happened to complete the proof of a theorem in the paper through the definitions listed.

"Yeah, I've been busy all day today and I'm exhausted." Ning Wei pushed away the notebook in front of him with satisfaction and looked at the time, which was exactly nine-thirty in the evening.

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

"I went to buy some second-hand computer equipment." Ning Wei thought for a while and replied.

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

"Well, it cost almost 200 million." Ning Wei added that there were some things that the girl had to know. He was not interested in hiding his worth and causing some human comedy like in the TV series.

The two of them were already determined to be together, so there was no need to hide some things. The main reason is that Ning Wei feels that he will definitely earn more than several hundred million in the future.

The girl paused her hand and looked sideways at Ning Wei, who was sitting opposite, with some confusion: "Two hundred million means RMB?"

"Well, my patent license was received a few days ago. Considering that I want to maximize the performance of March, I went to buy a supercomputing center today. Remember I told you, I will license the turbulence algorithm. Then you can get some money every quarter." Ning Wei nodded and explained.

"Oh!" Jiang Chenshuang pouted, nodded, and asked, "Then you should be considered financially free in advance, right?"

Ning Wei thought for a while and found that it was indeed the case. He nodded and said, "If you don't mess around, it's almost enough. But it also depends on how you spend it. For example, it cost 190 million to buy a supercomputing center. To maintain this super The center’s monthly expenses are quite high, so after asking around, including all the discounts, the cost would probably be hundreds of thousands more in a month.”

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

Letting the sound of the piano flow in the room, Ning Wei immediately shut up and admired the girl's posture while playing the piano, as if he were enjoying a piano solo in the Golden Hall of Vienna. Of course, it would be perfect if the electric piano was replaced with a more atmospheric piano.

An hour passed quickly. 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."

"Yes." The girl nodded, and then, as usual, she was held by Ning Wei and walked out of the office.

"The lights are still on over there, Professor Lu. Are you still busy?"

"Senior Brother Lu has been very busy recently. There is nothing we can do about it. He is too far behind in his homework. He has to catch up quickly." Ning Wei said proudly.

It is not an easy thing for a mathematician to give up his original research and switch to a new direction, but he did it, and of course he has reason to be proud. This at least represents Brother Lu's recognition of him.

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

"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 are learning mathematics. For example, when you start to learn Lópida's law, you need to constantly connect problems and become proficient in using this mathematical tool."

Ning Wei explained, and then said: "Ignore Senior Brother Lu, the day after tomorrow is the National Day, and I am going to give myself a few days off. Is there any place you particularly want to go? We can go out and have fun."

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

"In fact, money is not a big problem. You can't underestimate my ability to attract money, but if you think there are too many people, let's make a plan to visit the capital. Speaking of which, I have been in the capital for so long and I have never gone out. , you have to accompany me." Ning Wei demanded.

"Oh, then let's go out and play for three days. In the remaining four days, I will review my homework and prepare for the midterm exam, and you will be busy with your research, okay?" The girl turned her head and begged softly.

After hearing this, Ning Wei felt a little depressed and asked, "Are midterm exams that important?"

Jiang Chenshuang thought for a while, then nodded, and replied honestly: "It would be bad if you fail. There are many concepts in corporate finance and bank currency that are being taught this semester. I need to read more books to understand them, and this year I am still in high school." If you don’t pass the final semester of Math B and A-level courses, you really have to retake them.”

"No, why do you think you will retake your high-level B and A-level courses? Chenshuang, don't you think too little of your boyfriend? From now on, after you bring me meals every night, I will help you You can tutor these two courses for one hour," Ning Wei said.

He doesn't know much about economics, but when it comes to advanced mathematics and line generation, he is really energetic.

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

"I'll let you do the questions for half an hour, find out what your problem is, and explain it to you for half an hour. What's the delay? Don't worry, the time for tutoring you is to rest my brain for me. By the way, what I did last time Have you sent all the information you asked your friends to organize for you to your sister?" Ning Wei asked again.

"Sent..."

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

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

"So you're talking about a friend?" Ning Wei was unhappy again and asked, glaring at the girl next to him.

Jiang Chenshuang nodded imperceptibly and argued in a low voice: "She is in her third year of high school, so how can I tell her this."

"What's not to say? It's not like you're in love and she's in love."

Ning Wei muttered, thought for a while, took out a bank card from his pocket and handed it over: "I won't argue with you about this anymore. Just take this card and you have to send me dinner every day. From now on, my food expenses will come from this card. There is not much money in it. This card is required by my postdoctoral school. It contains the subsidy for my Ph.D., and the subsidy for my future teaching assistantship will also be transferred to this card. It seems to add up to about 5,000 yuan every month. It's not much anyway, you can use it as you like. The password is my birthday, I will send it to you on WeChat later."

"Isn't this bad?"

"What's wrong? I've already said that it's salary. I give my things to whoever I like, and I don't want to give them to anyone, and others can't worry about it. Why, besides, you ruthlessly took away my first kiss yesterday, do you still plan to do it in the future? Are you irresponsible?" Ning Wei asked sharply.

"Ah?!" Classmate Jiang looked at Ning Wei in surprise and was stunned again. He probably didn't expect that someone could be so shameless.

Seeing the girl's dumb look, and the fact that the two of them happened to walk to the dark place between two street lamps, Ning Wei couldn't help but hugged the girl again, and then leaned down...

How should I put it, my first kiss was taken away yesterday, and of course I have to get it back today. The word fairness is important at all times.