Blue Star Sea Diamond

In the middle of the night, everyone in the cafe was gone. The cafe owner didn't close the door and left the lights. The four people were still watching the operation of the machine, and everyone didn't talk to each other.

After being quiet for a long time, Xia Shangbu asked Wu Jun again: "Have you had any problems with your automatic certification machine?"

Wu Jun said: "There have been no problems since the operation. Perhaps it is because this mathematical proposition is too difficult."

Xia Shangbu said, "Can't you make it simpler? Just say whether the proposition is right or wrong."

Wu Jun said: "It is calculating this now."

Zu Wenyuan said: "Perhaps this is something that seems simple but extremely difficult to prove. Doesn't Goldbach's conjecture sound very simple? No one can prove it."

Xia Shangbu said, "That's true."

Zu Wenyuan said: "I am worried that there will be situations that are neither provable nor provable."

Wu Jun said: "If the time is too long, just improve the parameters."

With a sudden ding, the machine has completed its calculations, and everyone sees that the natural bug operating system does indeed have network redundancy.

But the problem still arises. What kind of redundancy is, Wu Jun thought, if we calculate at this speed, the proof process will be more complicated, and it will be more difficult to understand, and it will be difficult to explain the reason in a short time. .

Wu Jun said: "If it proves that Automata 3.0 is successfully developed, we can see what kind of mathematical model can affect network redundancy."

Xia Shangbu said: "How long is it until the successful development of the automatic proof machine 3.0?"

Wu Jun said: "This is a machine that can reflect mathematical modules. We need to express all kinds of axiomatic mathematics in logic. This itself has a lot of difficulty."

Xia Shangbu said: "To do this requires a certain degree of mathematical knowledge, as well as the ability to master logical mathematics. Who of you is doing research?"

Wu Jun said: "We have established an automatic certification machine team. I, Zu Wenyuan, and Wang Yuan are doing this work."

Xia Shangbu said, "Is this what Wang Yuan took the lead?"

Wu Jun said: "Yes."

Xia Shangbu said: "I have heard of his deeds. In order to realize his ideals, he took the lead on his own. He was very brave. Many old professors laughed at him as an unstable person, but he succeeded."

Hua Luo said: "Then we can try to contact him and see if he can help."

On the second day, Hua Luo, Wu Jun, Zu Wenyuan and Xia Shangbu arrived at Wang Yuan’s magnetic mechanics laboratory. Wang Yuan warmly welcomed the four people and took them to visit his magnetic control system in excitement. factory.

Hualuo sees that many devices can use remote control technology to make all kinds of complicated movements in the air.I saw electric coils tied to every flying object.

Hua Luo asked Wang Yuan: "Does everything flying need to be tied to these coils?"

Wang Yuan said: "That's for sure. The coil conducts electricity and produces magnetic force. We use magnetism to control these. This is a new research in electromagnetic research, which is the ability to control magnets. This ability can be used with electromagnetic devices from the beginning. To control the object that can carry magnets like iron, you can lift the object with magnets magnetically in the air, and can move the position, and can also move and rotate the magnet in various directions. Then the accuracy will be improved. Can complete difficult and complex movements."

Hua Luo said: "These coils are too many, some of which affect the appearance."

Wang Yuan said: "Later, we will gradually reduce the control devices, and use a few electromagnetic devices to control the magnets. Later, it becomes a remote control magnet, and then it becomes a remote precise control magnet."

Hua Luo said: "Can it be done without a coil?"

Wang Yuan said: "Although it is possible, it requires special materials. It is necessary to magnetize any object and then control the object, but this object cannot be controlled as well as iron and other substances. Normal temperature superconductor materials. Research is also very important."

Wang Yuan continued: “Not only can the precise movement of objects be controlled, but also the deformation of the magnet can be controlled. Some specific deformations are very important. Liquids can be magnetized to control their movement and precise deformation. Any kind of precise liquid. After optimizing the layout of the control body, any shape of liquid can be obtained, such as a telescope without an external carrier or a microscope with water. The intensity can be adjusted at will. Exceeds the intensity of the traditional glass sheet. We are now starting to cooperate with the observatory to build a water-controlled optical telescope."

Hua Luo said: "It is difficult to make water become a superconductor! Superconductors are all low temperature."

Wang Yuan said: "It is necessary to make the water into a special crystalline state, and try not to let the water affect the perspective effect due to low temperature and irregular crystallization. Then, after optimizing the control body, try to reduce the influence of the control body on other external factors without unnecessary side effects. Because if the magnetic force of the control body is too strong, it will affect other magnetic materials. For example, the magnetism of bank cards will be affected by this control body."

Hua Luo said: "What is the most difficult thing here?"

Wang Yuan said: “There are materials and nano-processing, but more importantly, mathematics. An experienced and optimized framework is needed to calculate how to save space and save a lot of electricity. This is a very For power-hungry projects, suspended objects consume batteries. Many people laugh at me that this technology is not as good as a spiral wing-driven takeoff. Instead, I laugh at how they take off in space when there is no air."

Hua Luo said: "Is there a limit to this size?"

Wang Yuan said: "If there is no shortage of electricity, there is no upper limit. The smallest magnetron capacity can already be used in the micro-nano stage, and the function is beyond human imagination. Nano-materials can be made easily, which is more powerful than traditional processes. Many. The magnetron capability has become data-intelligent and can complete any task specified by humans. Many complex and dangerous things can be accurately completed by relying on the ability of the air."

Xia Shangbu said: "No wonder this powerful technology has been recognized by the conference and absorbed into the giant brain system."

Wu Jun said: "Has the automatic proof machine 3.0 been successfully developed?"

Wang Yuan said: "Speaking of this, I have stopped work for a long time because I ran into trouble."

Wu Jun said: "Different fields of mathematical axiomatization research have not been established?"

Wang Yuan said: "If you talk about polynomial calculations, probability theory, random number theory, geometry, algebra, numerical calculations, group theory, etc., it's okay. It's that there are some interdisciplinary theories that can be connected. This is more troublesome and typical. For example, things like elliptic curve and modular form are inextricably linked, but in-depth research has made me more and more confused, and I can't even find the foundation."

Wu Jun said: "Then get rid of the complicated theories and use our existing theories that we are good at."

Wang Yuan smiled and said, "Why do you care about this suddenly? Are you having a problem?"