Posted in computing
Any traditional computer such as a Turing machine or a Post machine or any other reasonable computer can become a self-referential Gödel machine by just loading it with a particular form of machine-dependent software, software that is self-referential and has the potential to modify itself.
But Gödel machines cannot in any way overcome the fundamental limitations of computability and of theorem proving which were first identified in 1931 by Kurt Gödel himself.
“The idea that this stuff could actually get smarter than people… I thought it was way off… Obviously, I no longer think that,” Geoffrey Hinton, one of Google’s top artificial intelligence scientists, also known as “the godfather of AI,” said after he quit his job in April so that he can warn about the dangers of this technology.
The moment is badly chosen, but with Elon Musk the unexpected is the rule.
The serial entrepreneur arrived in China on May 30, according to Reuters, whose journalists spotted his private jet at Beijing airport. This surprise visit by the CEO of electric vehicle producer Tesla, founder of SpaceX and owner of Twitter, comes at a time of renewed tensions between China and the U.S., which raise fears of a potential confrontation between the two leading world powers.
Musk and his empire symbolize, according to experts, the intricacy of the two largest world economies, which are interdependent. The U.S. and China are Tesla’s two biggest markets and the regions where the world leader in electric vehicles manufactures the vast majority of its cars.
Baidu Inc. is investing 1 billion yuan ($140 million) to nurture Chinese startups that explore generative AI, leveraging its Ernie AI model to help drive innovation.
Baidu Inc., China’s internet search leader, is investing 1 billion yuan ($140 million) to incubate Chinese startups that focus on generative AI. As reported in Bloomberg, the move makes Baidu a part of the global investment wave centering on ChatGPT-like services.
Baidu’s $140 Million Venture into Generative AI Startups
According to a statement released by Baidu, the investment will be used to foster projects utilizing its Ernie AI model, with funding potentially as high as 10 million yuan each. Venture investors, including IDG Capital, will evaluate pitches from founders, who will then create demo products before a decision on seed funding.
“We can foresee applications in a wide variety of scenarios, such as search and rescue.”
One difficult challenge in robotics is to make them move smoothly across rough surfaces. Researchers have been experimenting with various methods, including the ones inspired by nature, to make robot movement more flexible.
By taking cues from nature, engineers have created a new centipede-like robot that can easily switch from straight walking to curved motion.
The new record was set when China’s three-person Shenzhou 16 mission took to the skies on May 29.
We have a new record for the highest number of people orbiting Earth at any one time. For a short time, the number of people in orbit totaled 17 off-world explorers from a total of five different countries.
The new record was set after the launch of China’s three-person Shenzhou 16 mission on Monday, May 29 at 9:31 p.m. EDT. The previous record was 14 people in orbit, set when the private Inspiration 4 mission took to the skies in September 2021.
In a special report by Reuters, various industry experts were asked their opinions on the looming issue of AI deep fakes for the upcoming 2024 US elections.
As reported by Reuters, next year’s elections in the United States are likely mired with ever-sophisticated deepfake videos and audio. The rise of artificial intelligence (AI) tools like Midjourney and FakeYou have made it nye-on child’s play to generate realistic-looking images, videos, and audio files that are very difficult at times to distinguish from reality.
The Barkour benchmark is customizable and can be adapted to larger course areas with different configurations, similar to real dog agility competitions.
In the world of robotics, quadrupedal robots are becoming increasingly impressive with their abilities and tricks. However, comparing these robots and evaluating their capabilities is challenging due to the absence of standardized metrics.
To address this issue, a team of research scientists at Google has come up with an innovative solution: robot obstacle courses inspired by dog agility competitions. This new approach, known as Barkour, aims to establish a benchmark for assessing the agility and mobility of quadruped robots, a blog post said.
They managed to achieve temperatures of more than 100 million degrees Celsius. That is hotter than the sun’s core temperature!
Nuclear fusion reactions generate large amounts of energy. An example of nuclear fusion is the reactions happening in the sun’s core. Harnessing fusion energy has long been a goal of scientists and researchers as it produces no greenhouse gas emissions or long-lived radioactive waste.
However, there are several bottlenecks to producing fusion energy, such as the requirement of high temperatures and pressures, plasma instability, cost, scalability, and finding energy balance.
Microsoft reveals a macOS flaw, “Migraine,” enabling root access bypass. Learn how threat actors could exploit this vulnerability.
