Live on March 12th, the Bundesliga game ended before, Bayern beat augsburg 5-3 at home. After the game, he was interviewed in Pamekano.
Hupamekano: "Every game is difficult, but we really want to win. Augsburg did well, but we played well in this match. It is important to get three points today. Our communication on the defensive end is very good. We really like defense. We have to keep a clean sheet again. "
（mageth）
With the continuous development and application of artificial intelligence technology,
More and more tools and software can help 3D modelers and artists.
Create and express our works better.
We have specially collected the navigation websites of AI related tools.
They can help you improve your work efficiency, creative inspiration and creative expression.
So as to better show their creativity and imagination.
AI navigation website
An AI navigation website created by Chinese people not only integrates famous AI websites at home and abroad, but also has special registration and use guides and related information, which can be said to be very intimate!
Another navigation station, although there is no relevant tutorial, covers a wider range of industries and is quite good.
Compared with the first two websites, it is almost interesting, but it is also collected for a rainy day!
There is not much included, but it is completely enough!
Foreign websites can see the latest AI popularity rankings and understand the latest trends of AI.
In addition to the above,
There are also some foreign websites.
I’m also attached here, but
Model friends can visit by themselves!
There may be some content that needs magic.
What other excellent AI websites do you recommend?
Welcome to share in the message area!
Yes, please click one to watch.
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).
According to The Paper, on March 9th, local time, AndreasBraun, chief technology officer of Microsoft German Company, revealed, "We will launch GPT-4 next week, which will be a multi-modal model and provide completely different possibilities-such as video." According to the German science and technology media heise Online, Braun called LLM(LargeLanguageModel) a "game changer". They taught machines to understand natural languages, and then the machines statistically understood what was previously only read and understood by humans. At the same time, this technology has developed to be basically "applicable to all languages", which means "you can ask questions in German and get answers in Italian. With multimodal, Microsoft (and OpenAI) will make the model comprehensive. " Earlier, IT was reported that Microsoft AzureOpenAI service launched ChatGPT preview IT House on March 10th. At the Build2022 conference, Microsoft launched AzureOpenAI preview service, which provided customers with a way to use some of the most advanced AI language models in various use cases. Earlier this year, Microsoft officially launched AzureOpenAI service, and will access OpenAI model in several product lines. With AzureOpenAI service, Azure Global Enterprise customers can directly call OpenAI model.Including GPT-3, Codex and DALL.E models, and enjoy the trusted enterprise-level services of Azure and the infrastructure optimized for artificial intelligence. And promised that ChatGPT for enterprise users will soon be launched in the global version of Azure. Now, Microsoft has fulfilled its promise and launched the ChatGPT preview service in AzureOpenAI service, enabling developers to take advantage of various AI-driven scenarios. Through AzureChatGPT, we can now enhance the existing chat bot experience to get more efficient customer support and better claim processing automation. In addition, Azure cognitive services can be combined with AzureOpenAI services in a powerful way, such as knowledge-based retrieval of the company’s own data, and more "credible" responses to build and improve interaction patterns. Microsoft focuses on various customers who will use chat bots in AzureOpenAI service, including OfficeDepot, Singapore Smart National Digital Government Office and Icertis. CarlBrisco, vice president of office products and technology of Odie, commented on the company’s interest in using ChatGPT in this way, and pointed out: "OfficeDepot(ODP)Corporation is very happy to take advantage of the powerful ChatGPTAI technology in AzureOpenAI service, which is possible through our cooperation with Microsoft.This technology will help [OfficeDepotCorporation] to promote the continuous transformation of business more effectively, explore new possibilities, and design innovative solutions to provide greater value for our customers, partners and colleagues. […] By using ChatGPT’s natural language processing and machine learning functions, [OfficeDepotCorporation] aims to simplify its internal operations and promote business success. Microsoft AzureOpenAI service customers can start using ChatGPT today, but the billing will start on March 13th, and the price will be 0.002 USD/1 kTokens (Note of IT House: it is equivalent to 2.7 USD per output of 1 million words, Note of IT House: it is about RMB in 19 yuan at present). Interested users can click here for more information and gain access to AzureOpenAI service here.
In the 27th round of Ligue 1, Paris Saint-Germain quickly got out of the shadow of losing 2-0 to Bayern in the quarter-finals of the Champions League, and this game won 2-1 and made profits, with its record picking up. Brest, ranked 15th in the French Ligue 1 standings, was played away by Barley, and Sohler and Mbappé each scored one goal, which was one of the heroes of the victory in Paris. Aunola also scored one goal for brest, which was once even. Messi also played well in this campaign and completed wonderful assists.
After being knocked out of the Champions League, Barley wanted to concentrate on the French Championship. The head coach Garger sent 4222 system in this game, Messi cooperated with Mbappé in double shooting, Fabian Ruiz and Sohler cooperated with double avant-garde, Virathit cooperated with Zaire-emeri with double midfielders, Nuno Mendes cooperated with Danilo Pereira, Ramos cooperated with Pembele with four defenders, and goalkeeper Donaruma and 11 starters were worth 500 million euros. Brest has an average lineup, with 11 starters worth only 4,380.
Paris Saint-Germain controls the rhythm of the court with its powerful strength, with the ball control rate reaching 61%. Compared with brest’s 17-7 shot, 8-2 shot was a positive comparison, and finally it became a 2-1 winner. The course of the game was very difficult for Balinese, who should have won easily. Obviously, the 2-1 dominance was far from enough. A group of giants had reached the end of their tether, playing hard for anyone, and the offensive and defensive ends were not balanced. On the defensive end, Dali collapsed and collapsed, and the 1-0 lead was tied until the 90-minute lore ended; Offensively, Baali relied heavily on Mbappé and Messi, two superstars, and failed to form a good whole.
In the 37th minute, Mbappé completed a cold shot outside the restricted area by virtue of his personal ability, and the goalkeeper saved the ball. Sohler scored a goal in front of the door and Greater Paris led 1-0. In the 43rd minute, Del Castillo made a long pass and Aunola, who was inserted before the assist, scored a goal with a single shot, and brest scored 1-1 in Paris. After 90 minutes, Messi finished the delicate and straight plug in the midfield, and Mbappé made a single pass after the forward insertion, and went straight through the goalkeeper and scored an empty goal to help the team beat brest 2-1.
Great Paris, the winner of this game, finally won 21 matches in Ligue 1 this season, leading the Ligue 1 standings with 21 wins, 3 draws, 3 losses and 66 points. Marseille, the second-ranked city, won 17 wins, 4 draws and 5 losses, and scored 55 points in a match in Bali. From the data point of view, Greater Paris produced two kings in one night, Messi completed the thirteenth assist in Ligue 1 in the season, crowned the assist king in the five major leagues of the season and surpassed De Braune by 12 points; Mbappé was promoted to the top French shooter in the history of Paris team, scoring 138 goals on behalf of Paris, and tied with cavani as the best French shooter in history.
As the saying goes, one mountain can’t accommodate two tigers, and the two kings of Paris are about to part ways, and their MMN combination with Neymar is on the verge of collapse. Three people have won the Champions League for two consecutive seasons, which proves that they can’t achieve the effect of 1 plus 1 plus 1=3. Messi refused to renew the contract with Paris, and the contract expired in the summer; Neymar was reimbursed for the season, and Dali also made a decision to sell him voluntarily; Ramos, another big star, also signed the contract in the summer window, and there is no sign of renewing the contract so far. According to the analysis of L ‘Equipe, the Greater Paris will be rebuilt again this summer, and a team will be formed around Mbappé while solving financial problems and reducing salary expenses, which will further promote the transfer of Messi and Neymar.
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."
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.
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. "
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）
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.