首页

Mbappé escaped the red card before the lore! Hook down the opponent+revenge kick yellow VAR not changed.

On March 12th, Beijing time, Paris Saint-Germain beat brest 2-1, and Mbappé scored in the 91st minute, but before that, he was almost sent off with a red card!

Mbappé has become the top scorer of the team history in Greater Paris. However, against Bayern in the Champions League, he got nothing, only stopped in the top 16 and missed the big ear cup again. The battle with brest was a good opportunity for Tim to prove himself again. He put on the captain’s armband and performed quite well.

In the 37th minute, Great Paris broke the deadlock on the field, and the goal came from Mbappé’s long-range shot hitting the post, and Sohler shot back into the net. In the 62 nd minute, he didn’t pass it to Messi after stealing in the restricted area, but chose to shoot with his right foot, but unfortunately it was outrageous.

In the 86th minute, when Mbappé was fighting, he hooked Belko Bula from behind, and the latter hugged General Mu’s left leg. Mbappé retaliated and kicked Belko Bula. brest midfielder immediately stood up and theorized, and the two sides clashed!

In the end, the referee on duty presented a yellow card to each of them, and after VAR intervened, there was no revision. However, Tim can get a red card for this retaliatory kick, can’t he?

Five minutes later, Messi went straight to the goal, and Mbappé scored the winner after passing the goalkeeper, becoming a hero in Paris, scoring 40+ goals for four consecutive seasons, ranking first in Ligue 1, which is also the 3000th goal in the top league in team history.

Terzic: After losing to Chelsea, Dortmund criticized himself and wanted to win the Ruhr Derby with all his strength.

Live broadcast on March 11 th, Beijing time on Sunday morning, Dortmund will usher in the Ruhr Derby against Schalke. In an interview before the game, Dortmund coach Terzic talked about the game.

Terzic said: "Derby always comes at the right time. Not only are we looking forward to it, but the whole Ruhr area is looking forward to it. This is a regular game, but the atmosphere and intensity of the game are different. It is meaningless to look at the league rankings of the two teams. Schalke’s performance is very good and he will try to put pressure on us. "

"After being eliminated by Chelsea, we were disappointed. We criticized ourselves and now we are very eager to win. There are still 14 games this season, including 11 Bundesliga games and 3 cup games. We hope to win in these 14 games. "

This is Alai’s first time to participate in the Ruhr Derby, and Terzic said: "This is the competition they want to participate in. When they join Dortmund, they want to participate in such a competition. This is a very special game. When the football game is defined with a new name, you will know the importance of the game. After defeating Leipzig last week, the fans asked us to win the derby, and we don’t want to live up to their expectations. "

Reporter: Newcastle and West Ham are potential suitors of Maguire, and they may rent first and then buy.

Live broadcast on March 11th In an interview with British media TEAMtalk, reporter Graeme Bailey revealed that Newcastle and West Ham are potential suitors of Maguire, and they may rent and buy the central defender first.

Since Tenghahe took office, Maguire has lost the main position of Manchester United. The central defender is still an important member of the English team. Therefore, in order to ensure his position in the Three Lions, it is helpful for him and the club to leave Manchester United in the summer.

Reporter Graeme Bailey revealed that Maguire is indeed a player that Manchester United can sell, Newcastle and West Ham are potential suitors of the central defender, and the two teams may sign Maguire by loan-enhanced buyout or choose buyout. This has something to do with Maguire’s salary, which is about 200,000 pounds a week at Manchester United.

Although renting Maguire out can eliminate part of Manchester United’s salary account, it will also lead to the Red Devils not receiving his transfer fee this summer, which will hardly help Tenghahe who wants to introduce center.

(Luca)

9.3.2 Another computing machine 2

This book regards the conceived language machine as the latest development of language media system tools, and language machines can also be analyzed and compared in the history of computing machines.

When Turing conceived the Turing machine, he began by observing the process of people’s calculation on paper with pens. The Turing machine device conceived was used to simulate the behavior of human beings in the calculation process. Turing machine models calculation problems by establishing rules about symbols, internal states, and how input and state determine output. Simply put, given the input, Turing machine can output regularly. The idea of Turing machine is more from the machine, which is reflected in the fact that the atomic operation of Turing machine is based on a character: reading a character, making judgment and processing, and the output is only a character or no output. This is unnatural to understand from a human perspective. The object of concern in manual calculation operation is various expressions, which may be a single symbol only under certain circumstances. In this book, we regard calculation as equivalence in expression-substitution as a calculation operation. In an abstract sense, Turing machine’s output from input to rule can also be regarded as a replacement operation. Only the substitution of a single symbol is not a human computing behavior pattern. The effect is the same problem, usually Turing machine needs to establish more rules.

As mentioned earlier, Turing machine is equivalent to Chomsky’s type 2 grammar. The basis of Chomsky’s grammar theory, such as production rules, is also a substitution operation in nature. Chomsky’s grammar theory forms the grammatical basis of modern programming languages. A few months before Turing submitted his paper, the American mathematician alonzo church (June, 1903–August, 1995) submitted his paper "Explanation on Deterministic Problems", which also proved that there was no solution to the deterministic problems. Qiu Qi’s argument is based on Lambda calculus. Qiu Qi’s Lambda calculus is equivalent to Turing machine’s computing power. By studying the theory of Lambda calculus, we can find that the operation of calculus is obviously embodied in recursive symbol replacement. Through more investigation of the history of computing machines, other computing machine models based on similar replacement operation designs can be found. Turing machine thought does not explain where the rules from input to output come from, which is regarded as open. Church’s Lambda calculus theory, Chomsky grammar theory and other theories and models are also considered from a specific technical point of view. In this book, calculation is not studied as an independent topic, but in the context of the use of symbols. The replacement rules on which calculation is based can be classified as equivalence relations in knowledge or facts, including existing equivalence relations and potentially derivable equivalence relations. The background on which this book is based enables machines to be used as tools for language media systems.

Modern computer is an engineering realization of turing machine, and turing machine is not only realized by modern computer. The processing of modern computers is ultimately decomposed into arithmetic and logical calculations. Turing machine theory itself has no such requirement, which is only determined by the technical route. The consistency of binary system and its calculation in symbol and physics has brought modern computers. In the concept of language machine, the process based on substitution-transformation can have special advantages in terms of the efficiency of calculation execution. Because it can operate directly on any level of expression, it reduces the process of decomposition back to atomic operation. A substitution-transformation operation in expression corresponds to many times of atomic arithmetic, logical calculation operations and corresponding internal communication of modern computers, and theoretically, the consumption of space and time will be smaller.

Using the present computer, it is possible to simulate the ability to perform substitution-transformation operations at the expression level, or to package a programming language based on substitution-transformation operations. For the goal of language machine, these schemes have only limited verification significance. First of all, this brings some kind of cycle: virtual replacement-conversion operation based on logical and arithmetic calculation, and logical and mathematical calculation based on replacement-conversion operation. Conceptually, this book thinks that substitution-transformation is a more basic operation than logical and arithmetic calculation. Secondly, it sacrifices the possible efficiency advantages of language machines. The conception, design and implementation of language machine may draw lessons from some current computer technologies, and the overall use mode is difficult to be compared with the use of von Neumann machine. It can be predicted that the language machine will be realized, and its ability will not exceed that of a universal Turing machine, which does not constitute a key evaluation of the language machine. What the language machine pursues is the effects that can be brought by the new man-machine collaboration, which are first of all for people.

If the language machine is finally realizable, will it be dedicated or can it be used as a new universal machine? It is too early to think about such a problem now. It can be seen that the discussion in this book is basically limited to the scope of theoretical knowledge. By comparison, the application of computers is mainly in the fields of technology and engineering. In the problem solving in these fields, many problems are not typical calculation problems; Empirical rules are equally important for solving all kinds of problems, and they are not all deducible from theory. This book is to understand the language machine from the perspective of language tools, and to support people’s use of symbols is always the first. On the other hand, once the machine shows some potential, people will try to maximize the potential of the machine, which is easier to carry out and may be counterproductive to the goal of using human-oriented symbols by the machine.

In application, the depth of language mechanism and content of language machine is related to the problems considered by artificial intelligence at present, so the two can also be compared. Fundamentally, their ideological starting points are different. The primary goal of language machine is to replace tools such as paper, pen, ink and computer to support the construction and use of human language and realize more effective use of human language with the help of tools. Contemporary artificial intelligence generally uses machines to simulate the intellectual behavior of the human brain, so that more jobs that were originally done by people can be replaced by machines. This book regards human intelligence as developing or expanding with the use of symbols, rather than a roughly fixed model that can be imitated and replaced by machines.

While better cooperating with the use of symbols by human beings, the knowledge possessed by human beings and machines can be more and more similar, and the knowledge possessed by machines can exceed the capacity of any human individual; In the past, more and more symbolic regular operations performed by people can be performed by machines, and they are more efficient; At this point, it is no problem to say that the behavior shown by the machine is intelligent. Let’s look at a concrete example, the relationship between category and instance. A is a category, and X is an example under the category. We say that X belongs to A, and the word "belonging" can be understood by interpretation. It is doubtful whether the understanding formed by this explanation is really effective, and it is impossible for us to explain the machine like this. Now, we can realize such a mechanism: X is an example under category A, which contains any proposition of A. You can replace A with X, and the proposition still holds. This substitutable relationship can be actually implemented by the machine in a specific context. From the operational sense, the language machine shows that it has understood that "X is an example under category A". Machines don’t understand whether symbolic units have meaning or not, just like people do. On the other hand, an important sign of understanding is to know how to operate symbols.

A popular view is that modern computers are good at dealing with structured and regular knowledge, but they are not good at dealing with unstructured and open knowledge, such as common sense. With the development of machines in the latter direction, we can understand and imitate human intelligence more. First of all, this book does not think that a perfect understanding of structured rule knowledge has been established, and this theory has been disintegrated in machine application. Modern computers began with computing as an independent theme. To this end, this book has established its own theory, the core point is: knowledge is expressed based on equivalence relation, and calculation is based on equivalence relation. On this basis, we discuss how to build knowledge in the machine, thus making the machine have deduction ability. What is important is the structured and regular knowledge, which corresponds to the expansion of human intelligence and cognition by symbols. From the perspective of the division of labor between machines and humans, it is a reasonable way to improve or innovate tools to enhance this expansion.

The emphasis on common sense makes natural language a core theme of artificial intelligence. Through the establishment of a complex language model and statistical calculation on a large number of corpus, the machine also shows a certain language processing ability. From the economic point of view, these advances can be of great value. Most white-collar jobs are fixed jobs and do not need real creativity. It is possible that these processes are close to some parts of human intelligence, but this will not be the core part. The deductive ability of a language machine, ideally, can calculate all possible conclusions from the currently known theories and facts. This ability is the part of human intelligence expanded by symbols. This book only re-understands and realizes this part of intelligence as a more general way.

When the system we build shows that we can name, define, form new cognition and express, and ask questions, we can probably say that it is close to the core of human intelligence. This may require more systematic research, and a continuous understanding from perceptual experience to symbol system and from natural language to abstract symbol system can be established before we can find out whether there are some forms of intelligence that always depend on it. This book is more concerned about whether we can develop new forms and ways of using symbols, so that human beings can use symbols more efficiently.

Paris was hit in the face! 1.6 billion = 0 The strongest youth training in the Champions League, 11 people worth 300 million, can enter the Champions League quarter-finals.

After losing to Bayern in the second leg of the Champions League knockout round, Greater Paris once again missed the Champions League. In the 12 years since FIFA World Cup Qatar 2022 settled in, they have spent 1.6 billion euros to reinforce it. Then, in the past 12 years, the failure again and again proved that money is not enough to win the Champions League.

At the same time, the continuous investment has also made some fans sneer at Greater Paris. Simply put, they only use money to buy players, which directly leads to the majority of "mercenaries" in the team and no sense of belonging to the team. Why European teams such as Real Madrid, Manchester United and Barcelona can stand tall in the series of European giants for a long time? Apart from investment, developing youth training and youth training are all indispensable conditions. It’s not that there are no outstanding youth players in Bali. On the contrary, they have sold these youth players many times. Recently, foreign media selected 11 of the strongest youth trainers in Paris. The value of this lineup is as high as 300 million euros, and it is not a problem to enter the top 8 of the Champions League.

As can be seen from this lineup, Nkunku, who plays for Red Bull Leipzig, is the highest-paid player, with a value of 80 million euros, ranking second only to Bellingham and Mushala in the Bundesliga. Nkunku played for Paris in 15-16 seasons. He played for Paris for four seasons in total, and won four league titles, four French Super Cups and three French Cups with the team. However, with Neymar, Mbappé and icardi as the main players, Nkunku, who can only be a substitute, chose to move to Red Bull Leipzig in 2019, and scored 5 goals and 13 assists in his first season in the Bundesliga. Nkunku scored 35 goals and 16 assists last season, led his team to the top four in the Bundesliga and the German Cup, and scored a hat-trick in the Champions League against Manchester City.

Koman, who is the right avant-garde, may be the most familiar Paris youth training player for fans at present, and it is also the smoothest development today. After only four appearances for Paris, Koeman joined Juventus as a free agent, and after two years in Serie A, he moved to Bayern. It was his goal that took the lead for Paris in the first leg of the Champions League knockout. At the same time, it was also because of Coleman’s final decision in the 2020 Champions League that it ended Paris’ dream of winning the championship with big ears at hand. It is worth mentioning that in the 11 years since his debut, Koeman has won the league championship every year. In addition, he has won a number of championship honors such as the World Club Cup, the Champions League, the European Super Cup, five German Super Cups, three German Cups, and an Italian Cup. It can be said that Koeman is an out-and-out champion reaper (Kane silently left tears).

Another Diaby, who is worth 60 million euros, also plays in the Bundesliga. This season is Diaby’s fourth season in Leverkusen. In the past two years, his scores were 10+13 and 17+14 respectively. This season, he also scored 11 goals and 5 assists. Diaby had 4 goals and 6 assists when he was a substitute in Paris in 18-19 season. However, in the summer of 19 years, Paris sold the winger for 15 million euros.

The midfielders are Labio and Gondozzi. Labio played in Paris for nine years, and then broke up with Greater Paris because of the salary increase. Although the breakup between the two sides had a lot to do with Labio’s mother, it was also an important reason that Paris was willing to offer sky-high salaries to other players who joined, but not to pay higher salaries to its youth players. Gondozzi didn’t play for the first team in Paris, but he was produced in the youth training in Paris. After a period of unsuccessful gunner years, Gondozzi joined Marseille and began to show his strength. Now this teenager, who was ridiculed by fans as "Prince Gong", has become an indispensable midfielder in Marseille, with 5 goals and 11 assists last season and 4 goals and 4 assists this season.

The most famous defenders are Flanders Mendy and Kimball Bay. Mendi, like Gondozzi, has never played for the first team in Paris. He made a name for himself in Lyon, and moved to Real Madrid in 2019 to replace Marcelo as the main force. In the past three seasons, he has won many championships including the Champions League, La Liga, Spanish Super Cup, European Super Cup and World Club Cup with Galaxy battleship. Jin Pengbei is the only player who is still playing in the Paris Youth Academy. However, Jin Pengbei was unlucky this season, and his main position was taken away by Ramos, and his vice captain was deprived. He was also reimbursed for his Achilles tendon rupture.

As for the goalkeeper position, it is Maignan, the main goalkeeper of AC Milan. Maignan won two league titles in Paris, but as a substitute goalkeeper, he basically didn’t get any performance. In the summer of 2015, he only joined Lille for 1 million euros. In the 20-21 season, he helped Lille win the league championship again after ten years, and then joined Milan to become the anchor of the Rossoneri’s defense line.

It can be seen that the players produced by the youth training in Paris are not bad, and they also have the strength to stand in the giants. However, in order to realize the dream of winning the Champions League faster, Paris with deep pockets has repeatedly sold these young players one by one, and in the end, it is also empty.

AIGC exploded, and the demand for AI servers in Ningchang was soaring.

With the countdown to the release of Baidu Wenxin, AIGC is bound to detonate the technology circle again. Li Yanhong, founder and chairman of Baidu, said in an internal letter after the release of the financial report: "AI technology has developed to a critical point, and all walks of life are inevitably changed. The China AI market is about to usher in explosive demand growth."

If 2022 is the first year of AIGC, then 2023 will usher in the outbreak of AIGC, and the enthusiasm for AI applications such as ChatGPT of OpenAI, Wen Xinyi of Baidu, and Yuyan of Netease Fuxi’s Chinese pre-training model will inevitably lead to a new round of fanatical demand for AI computing power.

Zhao Lei, vice president and CTO of domestic server manufacturer Ning Chang, pointed out that as far as ChatGPT is concerned, TB-level computing training library or even P-Flops computing power is needed. "There is no such thing as ChatGPT, and artificial intelligence computing power is never enough." Zhao Lei admits that the AI industry will need at least 100 times more computing power in the next 5 to 10 years.

At present, under the trend of digital transformation, enterprises’ demand for computing power is increasing, and there are many uncertainties in the development of the industry. What enterprises need more is computing power that can face increasingly complex application scenarios and balance the current business needs and future development needs.

As an AI computing expert, Ningchang provides computing solutions for users through its own technical capabilities and product solutions. Ningchang product series has covered all products such as artificial intelligence server, general server, edge server and multi-node server, meeting the needs of different scenarios and realizing flexible customized configuration. In addition, based on the existing industry energy-saving pain points, Ningchang provides traditional air cooling, cold plate liquid cooling and immersion liquid cooling and other multi-scenario cooling methods. Taking a computer room with a total load of 10MW as an example, Ningchang liquid cooling scheme can help users save 15.8 million yuan in electricity bills every year.

ChatGPT fire out of the circle! Artificial intelligence foreground geometry?

ChatGPT has become very popular on the Internet with its unique personalized answers and interesting interactions. It can not only answer a wide range of questions, including emotional and scientific aspects, but also provide users with interesting games and interesting chat interactions, which not only makes users experience the fun brought by knowledge, but also relieves the psychological fatigue caused by pressure.

ChatGPT realizes the translation between any languages through its intelligent algorithm, and it enables users of different languages to communicate effectively through voice chat. ChatGPT also has the ability to prevent harassment and protect users’ privacy, and provides immediate technical support services.

Thanks to ChatGPT’s powerful technical ability and excellent service, this intelligent robot has won a series of praise and reputation among users. It not only brings convenience to users, but also helps users enjoy a new lifestyle. ChatGPT is not only an ordinary intelligent assistant, but also an indispensable helper in users’ lives, providing people with more interactive ways and lifestyles, making all aspects of users’ lives more humanized, intelligent and convenient.

Now, ChatGPT has already become a star product in a circle. In this impetuous Internet era, ChatGPT is loved by users for its continuous innovation and professional service, and has won the trust and support of users. ChatGPT’s popularity not only shows the increasing improvement of artificial intelligence technology, but also shows the good prospects and development space of intelligent customer service market.

Perhaps the current ChatGPT has developed from a fledgling intelligent customer service platform to a leader in the industry, but its development cannot be separated from the continuous attention and support for users. The ChatGPT team will, as always, be committed to providing intimate and convenient services for users and constantly innovating to bring more surprises and touches to users.

Will artificial intelligence reduce human creativity?

This is a controversial topic. As an efficient and intelligent tool, artificial intelligence can help people complete some tasks that require a lot of calculation and analysis, such as natural language processing, image recognition, data analysis and so on. In the past, these tasks may require human beings to invest a lot of time and energy, but with the development of artificial intelligence technology, these tasks can be completed more quickly and accurately, thus saving human time and energy and enabling people to concentrate more on creative work.

However, some people think that artificial intelligence will reduce human creativity. Because artificial intelligence is a "non-human" technology, its working principle and thinking mode are different from human beings. Some people think that when people rely too much on artificial intelligence to complete certain tasks, they will gradually lose their creative thinking, because they only need to complete tasks according to the guidance of machine learning algorithms, and do not need to think about solving problems themselves. This kind of mechanical repetitive work may make people gradually lose in-depth thinking and creative solutions to problems.

However, some people think that artificial intelligence will not reduce human creativity, on the contrary, it will stimulate human creativity. Artificial intelligence can process a large amount of data quickly and accurately, and extract rules and patterns from it. These patterns and patterns can be used as inspiration for human creative thinking, so that human beings can better understand problems and find solutions. In addition, artificial intelligence can accomplish some mechanical repetitive work, so that human beings can be more involved in creative work, which will promote human creativity.

Therefore, whether artificial intelligence will have an impact on human creativity still needs to be observed and explored. While using artificial intelligence, we also need to keep our creative thinking and play, and constantly look for innovative ideas and methods to meet the ever-developing social needs.

Former Blues defender on Liverpool’s conceded goal: What is Fan Dike doing? He seems to have given up.

Live on March 11th In the 27th round of the Premier League, Ouattara broke through Fan Dike’s defensive assist Billing to help Bournemouth lead Liverpool 1-0.

Minto, a former Chelsea defender and Talksport commentator, criticized Fan Dike’s defensive performance on the show. He said: "Ouattara used speed to insert behind the defense line, and the Liverpool defense line was pressed forward. This was a simple overhead pass."

"I don’t know what Fan Dike is doing. Looks like he gave up there. I really don’t know what Fan Dike is doing. He doesn’t seem to follow Ouattara at all. "

"Of course, he is a key member of the team and one of the best central defenders in world football, but he has been complaining about physical fitness and schedule problems. If his physical condition is not good, let him rest! Having a huge lineup is just to do this. "

Go their separate ways after three months? Meme teamed up with the 300th assists of the king’s career.

After cleaning icardi and Sarabia, Paris’ goals this season depend entirely on NMM Trident. Now that Neymar has been reimbursed for the serious injury season, Paris can only rely entirely on Messi and Mbappé. In the face of Bayern, the overall strength of Paris is obviously insufficient, and Messi and Mbappé failed to create miracles. When facing brest tonight, the familiar Meme’s flirtation appeared on the pitch again. Thanks to the excellent performances of Messi and Mbappé, Paris won a 2-1 away game.

The first goal in Paris belongs to Sohler, but the real heroes are Messi and Mbappé. Paris’s conventional offensive means can’t break Brest’s iron drum array. The key to breaking the game is the two superstars on the front line. Messi made a breakthrough on the right. After attracting many people to defend, he sent the ball to the top of the arc in the penalty area, and Mbappé was in a defensive vacuum. Mbappé’s subsequent long-range shot, though at a positive angle, was surprisingly powerful. Bizot managed to save the ball and finally got rid of it, which led to Sohler’s follow-up shot.

After the Paris defence unexpectedly gave gifts again, Meme made a pass to help the French leader score the winning goal in the 90th minute. This goal stands out as a clean one. When receiving a direct pass from the backcourt, Messi shook his left ankle slightly on the right side of the midfield, while Mbappé pressed the offside line in the middle to start the sprint. When Mbappé got the ball, he didn’t have any defenders around him, only the goalkeeper Bizot was left in front of him. Mbappé easily broke through Bizot with a vertical acceleration, and the Frenchman then pushed the ball into the empty net. In a flash, Messi and Mbappé decided the trend of the whole game.

This goal is the 3000th goal of Paris in the top league. This assist is the 300th in Messi’s career. He assisted 269 times in Paris and 29 times in Paris. In the five major leagues this season, Messi has assisted 13 times, and he beat Braune to lead Europe. This goal is Mbappé’s 40th goal in the club and national team this season. Mbappé has scored 40+ goals in four seasons, and he is the first French player to do this in five major leagues. Mbappé scored 138 French goals for Paris, tied with cavani for the first place in history, and tied Lille striker David with 19 goals in the French top scorer list.

After nearly two years of cooperation, Messi and Mbappé obviously have a better understanding. However, judging from the current situation, the probability of disintegration of NMM Trident in Paris after three months is quite high. Messi’s contract is about to expire, and at present he prefers not to renew it. Mbappé and Real Madrid had an affair again, and Neymar was pushed into the transfer market for the nth time. This group of tridents, which had high hopes, failed to achieve the expected success because of the top-heaviness in the Paris lineup. Paris missed the quarter-finals of the Champions League for two consecutive seasons, and this transcript is not a pass anyway.