Wang Yinan knocked on the whiteboard, "Everyone drank a lot yesterday, and today we will have a non-serious meeting", Wang Yinan wrote three lines on the whiteboard:

1 Gödel Ascension

2 Theoretical research on superconductivity

3 Gödel Applications

"These are the three core tasks of our work at the moment," Wang Yinan said.

"First, the improvement of the Gödel system has reached a new stage of tackling key problems, and this direction is too professional, so we find time to discuss it and the relevant personnel participate."

"The second item, the research of superconductivity theory, is more professional, mainly due to the personal research of a few of us in physics and mathematics, and everyone can touch the ideas."

"The third is the purpose of our retreat today, to open up our minds, to fully diverge our thinking, and to see where the current Gödel system can be applied to bring a stable source of income to the company, or one or two huge incomes.

"Of course, these applications must learn the lessons caused by Sun Xiaozi's previous pepper live broadcast"

"It's not okay to move too much, you must make money quietly"

The following immediately remembered the sound of heated discussions, to be honest, seeing such a rebellious Gödel, who did not use YY to use Gödel to kill the Quartet.

Sun Xiaozi raised her hand, "Can it be used to fight the king, professional fighting, the fastest speed on the platinum",

"Next", Wang Yinan gorgeously ignored the little girl's fantasies.

Zhang Qi raised his hand, "The team doesn't need to talk about it," Wang Yinan said.

"It is used to analyze the risk of angel investment, as long as the success rate is doubled, the return is leveraged"

"It's too difficult to formalize, and the effect is too slow", Li Wenjing directly poured cold water.

Zhao Tiancheng raised his hand, "You come", Wang Yinan said.

"Is it possible to formalize the entire programming language and then use Gödel to find all the flaws in the large program?"

"That's a good direction, it's not that hard to formalize a specific programming language"

"We can find defects in the entire PC operating system or mobile phone operating system."

"In theory, that's a huge step forward."

It seemed like a good idea, and several people from the software and hardware departments immediately fell into a heated discussion.

knocked on the whiteboard, and Wang Yinan poured cold water on them.

"Have you considered the amount of calculations?"

"With the expressive power of modern programming languages, a small program of 100 lines is enough to achieve very complex functions"

"One of the most basic principles of Gödel's application is to formalize a field that is as limited as possible"

"In this way, it is possible to get valuable results in a short enough time"

"Not to mention the time you have to formalize programming languages, not to mention the time to formalize PC and mobile phone operating systems."

"None of this counts", "Tens of millions of lines of operating system, you want Gödel's system to find flaws"

"I don't think I'll be able to calculate the day the earth will be destroyed."

"Children's shoes, this is a high-level formal system, it's better to be sober and not to touch it"

Li Wenjing raised her hand, Wang Yinan nodded at her, "Wenjing talk about it"

"I think medicine is a very valuable direction, and there is nothing more valuable than life"

"Well, yes, medicine is worth a lot of effort", Zhang Qi agreed first.

"You see, rich people are afraid of death", Wang Yinan laughed at Zhang Qi.

Wang Yinan turned around and wrote the word medicine on the whiteboard,

"Okay, now the question is, should we choose Chinese medicine or Western medicine?"

"Chinese medicine, Chinese medicine is simpler, the four classic medical books, commonly used drugs or something, it is easy to formalize"

"It's still Western medicine, Chinese medicine is purely experience-based, whether science is still two words, how to formalize, and how to ensure the correctness of formalization, I don't have the slightest certainty."

"Traditional Chinese medicine, Chinese medicine is about treating the human body as a whole, so if we ignore the complex structure of the human body and treat him (her) as a black box, it is possible to get a formal system that Gödel can understand."

"Western medicine, Western medicine is closer to science, and the field of Western medicine is very finely divided, we can focus on one of the fields, such a limited field, for Gödel to play his own characteristics, is very beneficial."

When it comes to specific directions, as in society as a whole, the debate between Chinese medicine and Western medicine begins immediately.

Let them argue, it is estimated that there will be no result for the whole day. Wang Yinan had to come out and thin the mud.

"Let's put down the choice of route first, if Gödel formalizes traditional Chinese medicine, it should be to treat the patient as a black box, right?"

"Then the classical theory of TCM is a basic input, the symptoms used in TCM diagnosis are another input, we don't consider acupuncture and TCM physical therapy for the time being, those are even more unspecious, only consider drugs, TCM drugs as the third input"

"Then the final effect of the treatment is the output of this black box",

"By simplifying in this way, it is theoretically possible to formalize the theory of traditional Chinese medicine"

"However, a large number of cases, that is, enough training samples, are needed to train the neural network of the Gödel system"

Wang Yinan's analysis is in place, and everyone agrees to take this technical direction as an alternative direction for Gödel.

"If Western medicine is used, there is no way to treat patients as black boxes so simply," Wang Yinan said.

"The field of Western medicine is too detailed and too specialized, which is a good thing, and the limitation of the problem area helps Gödel solve the problem. At the same time, it's a bad thing, when we formalize the problem, the difficulty will skyrocket. “

"Roughly speaking, even if the diagnosis is over, the scope is too large, and there are too many experience components, I feel confused just thinking about it"

"Drugs should be a direction, especially some new concept drugs, such as drugs for specific targets"

"But drug research is a super expensive and time-consuming thing, and it is not realistic for us to do it independently, Gödel can play a supporting role"

Sun Wei raised his hand and added, "I have been slightly involved in medicine, and FPGA chips have also had medical applications before."

"I think medical equipment is also a good direction"

"Well", "very good", Wang Yinan said, "I would like to add that we can be positioned in auxiliary or diagnostic medical devices, so that the risk and related certification will be much less"

Wang Yinan wrote three lines on the blackboard:

Traditional Chinese medicine, the black box of the human body

Western medicine, drug-assisted research

Western Medicine, Diagnostic, Auxiliary Equipment

"The brain hole in medicine has come to an end first," Wang Yinan said, and we will continue to look at other directions.

"What Zhang Qi said just now, the investment direction is a bit interesting, but it is used to improve the success rate of angel investment, which is asking for trouble"

"The stock market and futures market, you can consider getting involved, especially in the United States or the Sun Country, to get a vote, there is no psychological burden at all."

Zhao Tiancheng raised his hand, "You say", Wang Yinan nodded.

"I have studied stocks before, and I have also used neural networks to simulate the operation of the stock market, and I think that there is still a good chance to improve the accuracy of prediction by using the Gödel system to analyze and improve several models that are currently popular."

"Okay, stocks", Wang Yinan continued to write on the whiteboard,

"Stocks"

Li Wenjing raised his hand to speak,

"I think we should think about what is particularly dependent on efficiency, and the Gödel system should be the best at improving efficiency."

"Battery efficiency", Zhang Qi immediately remembered his ModelX,

"Electric vehicles are too reliant on batteries, and even a small increase in battery efficiency is a huge improvement with terrible economic benefits"

"The efficiency of the engine", Sun Wei usually likes to play with cars,

"We use Gödel to adjust the ECU, and we must be better than the most experienced engineers"

Qian Zhonghua didn't speak, but when he heard this, he gradually came back to his senses.

After all, he is also a person who specializes in anti-commercial espionage work, and Qian Zhonghua is also quite familiar with modern technology.

"Let me ask a question", Qian Zhonghua raised his hand.

"Say it," Wang Yinan said.

"From what you said earlier, can I understand it in this way?"

"As long as in a particular field that is not so complex, if the rules are relatively fixed, or the theory is relatively simple, using the Gödel system, the best results can be obtained?" , Qian Zhonghua said.

"You didn't understand the general meaning," Wang Yinan replied.

"It is more accurate if a limited system can be accurately formalized in the three parts of the system itself, the problem to be solved, and the solution to the problem with the theory of tranquility."

"Then the Gödel system can get a better solution than the best available solution"

"The specific magnitude of improvement is uncertain due to various factors"

"I'm damned", Qian Zhonghua is a little blindsided.

"Is it really such a bull X?"

"That's such a cow X", Wang Yinan is also a little blindsided,

"You didn't know that the Gödel system was so good, so you went up to the pole and sent us money?"

Qian Zhonghua was a little embarrassed, "impulsive, impulsive"

"Later, I regretted it for a few days when I went back."

。。。 Wang Yinan was also drunk.

"In other words, theoretically we can improve the aerodynamic shape of the aircraft?" , Qian Zhonghua asked.

"Yes, aerodynamics is a relatively mature science, and it is not too difficult to formalize"

"Or the shape of a submarine?"

"This is very similar to the situation of flying machines."

"What about the materials, you know the materials of our engines are not up to par."

"This is difficult, you know, materials science is more empirical science, it needs to be supported by a large number of experiments, and it is very difficult to formalize such a field, and the effect is not necessarily good."

"I get it, that is, the fewer factors that are included, the closer to the scheme of the basic theory, the greater the role played by the Gödel system"

"Exactly, old money, I think it's a waste for you not to do scientific research"

"Well, don't waste your life with you, come to me, and explore the mysteries of the universe together"

"Roll the calf"

"Comrade Wang Yinan", Qian Zhonghua said loudly.

"And everyone here, I solemnly ask you not to disclose everything about today's meeting, I will apply for an increase in the confidentiality level of your company."

"You keep talking, but you don't hear what I just said."

After speaking, Qian Zhonghua called Wang Yinan aside.

"I'm going to go to the General Staff and the General Armament Department to talk to relevant experts about the issues just now."

"Don't worry, I won't let you work in vain, as long as Gödel performs well, you don't have to worry about the funds"

After speaking, Qian Zhonghua hurriedly left Ronghe Company.

Wang Yinan turned around and wrote on the whiteboard:

"Improving battery efficiency"

"Improving Fuel Efficiency"

"Let's continue, let's not think about the military side"

"Let's see again, what else is there that big companies are willing to pay a lot of money."