标签归档 夜西安论坛

Listening to your words is better than listening to them.

Casey left AC Milan on a free transfer before this season. He had been at the club for three years. In an interview published earlier, the midfielder discussed the difference between Milan and Barcelona. He said that the goal is the same, winning is the only thing, but other aspects are very different.

"I want to say that they are two very different ways of playing football and their understanding of football. Here, Barcelona is more technical. The same is winning, yes, but not in every way. Barcelona is very demanding of good scenes, and every player should have a wonderful performance to do this. In Milan, it’s different, everything is more direct. But the most important thing is the result. The constant is that in these two clubs, you have to win, of course.

Barcelona is currently ranked first in the La Liga standings. After a little struggle at first, Kathy has gained a foothold. Therefore, it is unlikely to return to Milan (or join Inter).

Cloud giant Salesforce is introducing ChatGPT function.

KlipC reports: With the global explosion of ChatGPT, American cloud service giant Salesforce has also set foot on the last bus of this storm. It is reported that Salesforce, the world’s largest CRM software service provider, launched a $250 million (about 1.74 billion yuan) venture capital investment fund on Tuesday local time, aiming at generative artificial intelligence start-ups.

According to Salesforce, the company will integrate artificial intelligence technology into the new version of software products to help enterprise personnel complete their jobs efficiently. The target customers are startups that are developing technologies similar to ChatGPT, which can be used with their commercial software applications.

According to informed sources, Salesforce began to cooperate with OpenAI’s language model team more than a year ago, but the recent popularity of this technology in the industry has prompted the company to advance its timetable and let customers enjoy some black technology as soon as possible.

Andi Duan, a partner of KlipC, said: "Since the advent of ChatGPT, there has been a storm in the technology industry. Many top technology companies have used people’s interest in generative artificial intelligence technology to launch new products. This trace once again shows that AI assistants will become ubiquitous in daily life."

However, the text generated by OpenAI’s generative artificial intelligence technology may contain wrong information. For solving such problems, Salesforce has taken several measures to avoid misleading users. For example, users still need to edit and modify answers, and Salesforce also limits the range of inventory information used to generate answers.

Wall Street analysts said in an interview with KlipC: "ChatGPT’s AI competition has recently been launched all over the world, including many top technology companies such as Microsoft, Google and Meta. With the upsurge of people’s interest in generative AI technology, the issue of moral safety has also caused controversy, and the current chat bots and language models are not mature, which has also made many related manufacturers and enterprises adopt a more cautious attitude."

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.

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.

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.

Cancelo’s field data: passing and shooting, winning the confrontation 10 times, stealing 5 times and shooting 4 times.

Live broadcast on March 12 th In this round of Bundesliga Bayern’s 5-3 victory over augsburg, Cancelo played well and made contributions. The following are his specific data in this field:

The success rate of air confrontation is 100%

87 touches of the ball

Win the confrontation 10 times.

Eight times the opponent touched the ball in the penalty area.

Seven passes into the opponent’s restricted area

Win back the ball five times

Five steals

Four shots

Second clearance

I have passed twice.

1 goal

1 assist

(Chenpi is not orange)

Comparing the four virtual human companies, who do you choose?

The application of virtual human technology is more and more extensive and mature. Microsoft Xiao Bing, Iflytek, Silicon-based Intelligence and Fengping Intelligence are all highly influential companies in the field of virtual human. Let’s take a look at the outstanding advantages of the four virtual human companies!

Comparison of technical strength and popularity: Microsoft Xiao Bing and Iflytek are leading artificial intelligence companies at home and abroad. They have deep technical accumulation in natural language processing and speech recognition, and have the leading technical strength in the world.

Xiao Bing, as a digital employee, is loved by many users, and also highly praised in the industry, such as the digital employee "Cui Xiaopan".

Iflytek has excellent technical strength in the fields of speech synthesis and speech recognition, and its developed virtual human images, such as the host of the World Artificial Intelligence Conference and the virtual "Wang Bingbing" of the Winter Olympics, are also very popular.

Comparison of application scope: Silicon-based intelligence and leveling intelligence are better in the application scope of virtual human technology. The virtual human applications of silicon-based intelligence and Pingping intelligence have covered many fields such as education, medical care, advertising and e-commerce. In the field of education, virtual people can be used for online education counseling, curriculum promotion, etc. In the medical field, it can be applied to health consultation, medical diagnosis and so on.

Comparison of making and customizing digital people;Silicon-based intelligence and Pingping intelligence have a large number of digital people libraries, which can select digital people with different images to appear in the camera, and can be driven by text and voice. It is also relatively simple to customize digital people’s images. Providing real-life videos can generate digital avatars through modeling.

Price comparison: In terms of price, compared with silicon-based intelligence, Iflytek and Microsoft Xiao Bing, Fengping Intelligence is more affordable and can provide faster digital human production services. Because of its technological innovation and high production efficiency of digital people, Fengping Intelligent can reduce the production cost, introduce a more affordable price scheme and attract more customers.

Generally speaking, Microsoft Xiao Bing and Iflytek have higher technical strength and popularity, while silicon-based intelligence and Pingping intelligence are superior in the application scope of virtual human, and the price of Pingping intelligence is lower. When choosing a virtual human production company, you can choose a company that suits you according to your own needs and budget.

TA: Benzema is in poor physical condition this season because he has participated in more competitions.

Live broadcast on March 10 th According to The Athletic, Benzema’s physical condition has been very bad because he participated in more competitions this season.

When Ancelotti and his coaching team coached Real Madrid in 2021, they noticed that Benzema’s training state was different from that when he coached Real Madrid before. The 35-year-old player has been plagued by injuries since last December, and Benzema also missed FIFA World Cup Qatar 2022 because of a hip injury.

Javier Atalaya, who has worked with Benzema for eight years, compared the player to a bull. He told The Athletic that Benzema’s physical condition has been very bad because he has participated in more competitions this season. In addition to the League, the King’s Cup and the Champions League, Real Madrid also participated in the World Club Cup and the European Super Cup this season. Despite the injury problem, the team still thinks that his strength is equivalent to that of last season. So far this season, Benzema has averaged 4.4 shots per game, which is the highest since the 2015/16 season, while his average expected goal in Spain is 0.58, which is also the highest since the expected goal statistics.

Benzema, on the other hand, performed well both on and off the court. Atalaya said that unless Real Madrid had a game in the middle of the week, Benzema trained with him for two days a week for an hour of extreme training, which was equivalent to five hours of regular training. He believes that Benzema and Carlo Ancelotti will arrange the players’ game time, and Carlo Ancelotti will not risk the recovery time of the injured.

The source said: "Benzema is very independent, which is why he has extra training with his trusted physiotherapist and physical fitness coach outside the Real Madrid training base. The players are very focused on the match between Real Madrid and Europe. "

Although the player’s contract will expire this summer, he has not discussed the future with other clubs. They will play Liverpool at 4 am on March 16th, Beijing time, and he will prove the doubters wrong in the game.

AI server burst into red, China Taiwan Province industrial chain benefited.

The growth rate of global server industry’s shipments this year is approaching the "Guarantee 1" war. However, with the rise of self-driving, AIoT and edge computing and the explosion of artificial intelligence (AI) chat robot "ChatGPT", AI servers will become a pioneer in the growth of server niche this year. It is estimated that the annual growth rate of shipments will reach 8%, and Taiwan Province supply chains such as TSMC, Weiying and Quanta are expected to benefit.

According to the report of TrendForce, a research institute, under the leadership of emerging application themes in 2018, many large cloud operators began to invest heavily in the construction of AI-related equipment. By 2022, it is estimated that the annual shipment of AI servers equipped with GPGPU(General Purpose GPU) accounts for nearly 1% of the total server.

It is estimated that in 2023, with the application of chat bots, it is expected to stimulate AI-related fields again. It is estimated that the annual growth rate of shipments will reach 8%, and the compound growth rate from 2022 to 2026 will reach 10.8%.

In 2022, the proportion of AI server procurement is dominated by Google, AWS, Meta and Microsoft, the four major cloud providers in North America, accounting for 66.2%. In recent years, with the intensification of localization in mainland China, the wave of AI construction has warmed up, and ByteDance, Tencent, Alibaba and Baidu are the providers with large purchases.

In terms of computing specifications, ChatGPT is mainly based on NVIDIA A100 and exclusively uses Microsoft Azure cloud service resources. If other Microsoft applications are merged, the annual demand for Microsoft AI servers is 25,000. Baidu Wenxin adopts NVIDIA A800 in a word and combines other applications. The annual demand for Baidu AI servers is about 2,000 units.

Taiwan Province AI server supply chain includes TSMC, IC design factory Creative and Purui -KY, server foundries Quanta, Weiying and Inventec. The market is promising. With the contrarian growth of AI servers, the supply chains of related factories are expected to benefit.

Among them, whether it is AI computing or data center, most of the back graphics cards are manufactured by TSMC, especially on the AI chips led by Nvidia, including GPU A100/H100. Related accelerators and chip design applications are mainly produced by TSMC’s 5-nanometer family process.

Wei Ying pointed out that in 2022, AI servers will be less than 20% in terms of shipment or revenue. At present, more than 50% of newly opened cases are AI-related servers.

Quanta has invested in the field of AI servers many years ago. Although the revenue proportion of AI servers has not been announced, the legal person pointed out that the unit price of the main board of AI servers is twice as high as that of standard products, and it is difficult to manufacture, and the gross profit margin is rising, which is beneficial to the improvement of product portfolio.