On the whiteboard, less than half of the small circles representing the core of the Gödel system have been smeared, which means that the core of the Gödel system has been destroyed by more than 50%.

Looking at those eye-catching blanks, Wang Yinan wanted to cry without tears.

At Marina International Airport, Smith had boarded the first flight to the Sun Country. He didn't leave the country with his hard drive, which was obviously a problem when he went through security.

Smith threw away the commemorative coin box, mixed the superconductor material with the commemorative coin, and stuffed it into a small bag on the edge of the travel bag, which looked like a gadget with the commemorative coin.

Smith easily made it through security.

In the imperial capital, on the edge of Jingshi Mountain, in the headquarters of the "relevant departments", Qian Zhonghua knocked on the door of a certain bigwig's office.

"Here comes the little money"

"In the middle of the night last night, your department tossed the headquarters enough."

"Recently, there was a large-scale gold-stone national cooperation meeting in the imperial capital, and the security work task is very heavy."

"Is it necessary that you have dispatched almost all of your spare men to capture this sideburns Smith at once this time?"

"Ronghe Technology is not just an ordinary private company, at most there is a shareholder of 361, and Smith is also an ordinary business spy"

"Look at your stance, it's like Zero Zero Seven is coming"

Qian Zhonghua snorted, "As far as the rice buckets under your command know, they know to stare at the air port, the weapon port, and of course, the rocket port."

"If you really listen to them, the whole country of China will be sold, and they don't know yet."

"So this Rong and technology is still a bit of a good thing, I heard that it was stolen last night, what did you lose?" , The boss of the relevant department asked, according to the convention of ordinary spy war films, we gave him a one-letter nickname, called S, well, the female is called M (adam), and the male is called S (ir).

"Theft, and destruction," Qian Zhonghua replied.

"As for the loss, it's not too big, that is, after the world's leading artificial intelligence was stolen from the core data, it was all damaged, and the damage was very complete."

"What?" S suddenly stood up from his seat, "The world's leading, you're not mistaken"

"Well, make no mistake, if Qiange's latest research on the artificial intelligence of the war interstellar is completely realized, it should be close to its level."

S is a little confused, now that private companies are so fierce, how did I hear that this level of AI, only a thousand songs, a thousand degrees, or goose intestines can do it.

Qian Zhonghua didn't wait for S to come back to his senses, "This is a secondary loss, and the main loss is the only material in the world that can stably achieve superconductivity in the liquid nitrogen temperature region."

"All stolen"

"What!"

S was completely mad, "Why didn't anyone tell me before?" ”

"It's time for your gang of rice buckets to be replaced, and you actually treat Ronghe Company as an ordinary private enterprise, saying that there is nothing worth paying attention to"

"Let the family stare at Ronghe Technology for three months, and no action has been taken, and it is shameful to say it"

"Wang Xiaobing", S shouted, and the guard ran in response, "Report"

"Immediately notify all the leaders above the deputy director of the department to come to me for a meeting, and if they do not show up within ten minutes, they will be dismissed on the spot!"

Qian Zhonghua don't talk about it, "If you teach your subordinates a lesson, you don't need me to accompany you."

"No, you can introduce the situation and deploy the task of capturing Smith", S is still very smart,

"The matter of accountability can be talked about later, and the most important thing now is to stop this Smith and don't let him leave the country"

Ten minutes later, in a small conference room of the relevant department, Qian Zhonghua first spent two minutes briefing on the situation, including the measures being taken.

From the feedback from the police in various places, including the special police, no suspicious situation was found at the imperial capital airport, the imperial capital high-speed railway, the ordinary railway station, including the highway inspection posts. S immediately instructed all the "relevant departments" in the imperial capital to increase the intensity of monitoring and investigation.

At this time, it was already 8:30 a.m., and the plane from Binhai Airport to the Sun Country had closed its cabin door.

At this time, the phone of Captain Liu of the criminal police team, who was specially invited to attend the meeting, rang, and he picked up the phone, it was the criminal police team calling.

After listening to his subordinates' report for a while, he put down the phone, and said to S with a serious face,

"Report, our criminal police team has made a major discovery",

"We reviewed the surveillance footage of all the adjacent intersections until we checked the cameras at an intersection almost a kilometre away, and we found a suspicious car that had passed through the intersection about half an hour before the incident"

"But about half an hour after the incident, we found traces of this car on a camera at another intersection."

"Judging from the time and direction of driving, this car is suspected of committing a major crime"

"It is very likely that the suspect drove past the first camera, parked the car on the side of the road, and then walked into Ronghe Technology to commit the crime, and quickly drove through the second camera to leave after the crime."

"Because, if it were normal driving, it would not have been possible to spend nearly an hour at this distance"

"Immediately go through the vehicle management department and find the registration information of this car", S immediately ordered,

"At the same time, everyone, give me access to all the high-speed monitoring information leaving Beijing, and I must catch the traces of this car."

However, while they were tracking the suspicious car, the Sun Nation Airlines flight from Marina to the Sun Nation had already taken off.

Ten minutes later, there was a lot of strength in the end, and all kinds of information were immediately summarized.

"Report", "The vehicle was found, it was stolen last night in the wood-cutting alley near the Ayutthaya Hotel, and the owner just reported the crime"

"Report", "At four o'clock in the morning, the car drove from the entrance of the foal to the highway from the imperial capital to the seaside"

"Binhai", "Damn, how did I forget that Binhai also has an international airport", Qian Zhonghua patted his head in annoyance.

"Let's take a look at what outbound flights are available on the Marina this morning"

"What, the flight to the Sun Country at half past eight is from Sun Airlines, and it has already left the country?"

With a "snap", Qian Zhonghua gave himself a crisp slap in the face, "MMP", "Smith must be on this plane"

"If I thought of Marina earlier, I would have been able to stop him"

"Let's make sure, let Binhai Airport send over the security video so far this morning," S said calmly.

"At the same time, the control of major airports and foreign-related ports must not be relaxed"

Soon, the security screen of Binhai Airport appeared on the projection of the conference room, and a foreign bald man with a travel bag on his back and a height of about 1.85 meters attracted the attention of Qian Zhonghua.

"Like not"

"It's quite similar, at least this dress is very similar to which night runner, it shouldn't have time to change clothes"

"But the suspicious man who said the hotel welcome was curly"

"Most likely, he brought a hood and asked the technical department to get him a hood with curly hair, and then took the composite photo to the hotel welcome for identification"

Soon, the hotel welcomer who stayed at the police station to be questioned gave an affirmative answer,

"That's him, the one who went out for a run in the middle of the night"

"Lower the level of arrest," S said.

"I'll ask the field staff of the Sun Country to think of a way, but don't get your hopes up, he should have someone to answer"

"Besides, it is impossible for us to attack him in the Sun Country."

"I'll go tell Wang Yinan the bad news," Qian Zhonghua left the headquarters of the "relevant departments".

Leave S and start roaring at his uncompetitive men.

Qian Zhonghua called Wang Yinan, and after learning that they were still in Jixiang Village, he drove over directly.

By the time Qian Zhonghua saw the messy Gödel system again, it was already eleven o'clock in the morning.

Wang Yinan and Sun Wei were still writing and drawing in front of the whiteboard,

"What are you doing?" asked Qian Zhonghua.

"Assess the damage to the Gödel system and formulate a repair plan, do you have any good news for us, Smith caught it?"

"Uh", Qian Zhonghua was a little embarrassed.

"On the contrary, I have bad news for you"

"We are basically sure that Smith has left the country", Qian Zhonghua looked at his watch,

"You should have arrived in the capital of the Sun Nation by now"

"As expected, I didn't expect the police to catch the thief"

Listening to Wang Yinan's weird ridicule, Qian Zhonghua was a little angry, "You have to tell us the value of these things earlier, as for today?"

"Let me tell you, I don't even know where your door is opened."

"Even if I tell you, will you believe it?" said Wang Yinan, writing something.

Qian Zhonghua was a little speechless, if it hadn't happened today, it is estimated that the "relevant departments" would really treat Rong and the company as a joke, not all people, like Zhang Qi, would give enough trust to a person who claims to change the course of human civilization.

Qian Zhonghua asked himself, he couldn't do it.

"Okay", for the person who suffered such a huge blow, Qian Zhonghua decided to release his sympathy and not bother with Wang Yinan.

"In the near future, I will send someone to be on duty with you, and you can arrange a place to eat and stay."

"What do you need help with, just say"

Pang Zhonghua hurriedly left Ronghe Company.

It took two full days to sort out the damaged Gödel system, and Wang Yinan thought about it for a while, and still called all the people in the company together for a meeting, including the two scientific research dogs who were going to report.

"The current situation is like this, our core task in the next stage is to restore the Gödel system, according to the current damage, the most optimistic estimate, it will take three months to recover, of course, it is possible, it will never be recovered, because we ourselves are not absolutely clear about the Gödel operating mechanism.

"Dong Zhi and Luo Xiaoyin, you can do some preliminary theoretical and practical preparations for superconducting materials with me, of course, you haven't reported yet, it's too late to change your mind."

"Do you want to pay a salary", Dong Zhi glanced at Luo Xiaoyin and asked.

"Of course", Wang Yinan replied with a wry smile, "Our company, now there is only money left."

"Boss, then I'll follow you, Xiaoyin is the same, right?", Dong Zhi said,

Luo Xiaoyin nodded with a wry smile and said, "Well, since I'm here, let's mess with you."

The hardware recovery of the Gödel system was a little quicker than expected, and most of the CPUs and GPUs were back in working order after finding a professional hardware repair company.

Qian Zhonghua also sent their best hardware experts over, after all, Smith, who believed in God, still had a little compassion, and all he used to destroy Gödel's system was a broom, if he had set a fire at that time... Wang Yinan thought about it and couldn't help but shudder.

Most of the hard disks were able to read the contents after repair, and a few of them were particularly badly damaged, and the hardware experts of the "relevant departments" took them to a special laboratory and recovered most of the data directly from the damaged disks.

Wang Yinan, Li Fei and Zhao Tiancheng, on the basis of the original Linux system, rewrote most of the missing access interfaces, and some of the data that were determined to be corrupted, Wang Yinan and they wrote an empty function body to ensure that the system could run normally.

After nearly a month of hard work, the Gödel system was re-launched, in the words of Wang Yinan, "no matter how many mistakes and how many defects" there are

"As long as you can hold on to your hair, the Gödel system will be able to pull yourself to a new level"

However, the Gödel system, which was re-energized online, could no longer hold on to his hair.

All formal methods can be used, Wang Yinan used Sun Wei's H265 paper for testing, the abstraction of the problem domain, and the formalization of Sun Wei's original solution are so smooth and perfect, Wang Yinan typed in the instruction and began to use the reborn Gödel system to find the defects of the formal system.

All sorts of LEDs flickered and flickered, just when everyone thought that the computing power of the Gödel system was declining and that they were about to start a long wait.

A beep sounded.

Wang Yinan looked at the screen, there was no 1,2,3,4 on it... defects,

Only one line of small print

“ No Fault”