If you are looking for an answer to the question What is Artificial Intelligence? and you only have a minute, then here's the definition the Association for the Advancement of Artificial Intelligence offers on its home page: "the scientific understanding of the mechanisms underlying thought and intelligent behavior and their embodiment in machines."
However, if you are fortunate enough to have more than a minute, then please get ready to embark upon an exciting journey exploring AI (but beware, it could last a lifetime) …
On Earth, humans put more than a century of work into the art of flying. On Mars, we're just getting started. NASA's four-pound helicopter, Ingenuity, touched down on the the surface of Mars on April 3 and will begin test flights in early April. It will be the first time humans have flown anything on another planet. In a nod to the Wright brothers' first flight, it's carrying a tiny piece of the plane that flew at Kitty Hawk.
Intel on Tuesday officially launched "Ice Lake," its new 3rd Gen Xeon Scalable processor. The 10 nanometer-based CPU, delivering up to 40 cores per processor, is the foundation for Intel's data center platform. The chip is designed for workloads spanning a range of markets, from the cloud to the network and the edge. Intel says every "top tier" cloud service provider will be offering services based on Ice Lake. It's launching the chip with more than 50 OEMs building more than 250 servers based on the platform.
Intel on Tuesday officially launched "Ice Lake," its new third-generation Xeon Scalable processor. The 10 nanometer-based CPU, delivering up to 40 cores per processor, is the foundation for Intel's data center platform. The chip is designed for workloads spanning a range of markets, from the cloud to the network and the edge. Intel says every "top tier" cloud service provider will be offering services based on Ice Lake. It's launching the chip with more than 50 OEMs building more than 250 servers based on the platform.
AI is being embedded into an increasing number of technologies that are commonly found inside most chips, and initial results show dramatic improvements in both power and performance. Unlike high-profile AI implementations, such as self-driving cars or natural language processing, much of this work flies well under the radar for most people. It generally takes the path of least disruption, building on or improving technology that already exists. But in addition to having a significant impact, these developments provide design teams with a baseline for understanding what AI can and cannot do well, how it behaves over time and under different environmental and operating conditions, and how it interacts with other systems. Until recently, the bulk of AI/machine learning has been confined to the data center or specialized mil/aero applications. It has since begun migrating to the edge, which itself is just beginning to take form, driven by a rising volume of data and the need to process that data closer to the source.
As the U.S. economy rebounds from its pandemic slump, a vital cog is in short supply: the computer chips that power a wide range of products that connect, transport and entertain us in a world increasingly dependent on technology. The shortage has already been rippling through various markets since last summer. It has made it difficult for schools to buy enough laptops for students forced to learn from home, delayed the release of popular products such as the iPhone 12 and created mad scrambles to find the latest video game consoles such as the PlayStation 5. But things have been getting even worse in recent weeks, particularly in the auto industry, where factories are shutting down because there aren't enough chips to finish building vehicles that are starting to look like computers on wheels. The problem was recently compounded by a grounded container ship that blocked the Suez Canal for nearly a week, choking off chips headed from Asia to Europe.
You've probably seen the acronym "DLSS" appearing in more gaming and tech stories recently. You might know that it's an Nvidia graphics thing, and that it might be coming to the new Nintendo Switch console that's rumored to release later in 2021, according to a report from Bloomberg. But, really, what is it, and why does it matter? DLSS stands for deep learning super sampling, and it's a way for Nvidia's RTX graphics cards to work smarter, not necessarily harder, by running games at a lower resolution, then using dedicated AI cores to improve visual quality with less of the usual performance cost. The deep learning component works on the fly to make your game look as if you haven't lowered its resolution at all.
If you're spending months hand-tuning your machine learning model to run well on a particular type of processor, you might be interested in a startup called OctoML, which recently raised $28 million to bring its innovative "Octomizer" to market. Octomizer is the commercial version of Apache TVM, an open source compiler that was created in Professor Luiz Ceze's research project in the Computer Science Department at the University of Washington. Datanami recently caught up with the professor–who is also the CEO of OctoML–to learn about the state of machine learning model compilation in a rapidly changing hardware world. According to Ceze, there is big gap in the MLOps workflow between the completion of the machine learning model by the data scientist or machine learning engineer, and deployment of that model into the real world. Quite often, the services of a software engineer are required to convert the ML model, which is often written in Python using one of the popular frameworks like TensorFlow or PyTorch, into highly optimized C or C that can run on a particular processor.
Chip designer Arm has announced Armv9, its first new chip architecture in a decade following Armv8 way back in 2011. According to Arm, Armv9 offers three major improvements over the previous architecture: security, better AI performance, and faster performance in general. These benefits should eventually trickle down to devices with processors based on Arm's designs. It's an important milestone for the company, whose designs power almost every smartphone sold today, as well as increasing numbers of laptops and even servers. Apple announced its Mac computers' transition to its own Arm-based processors last year, and its first Apple Silicon Macs released later in the year. Other manufacturers like Microsoft have also released Arm-based laptops in recent years.
Arm, the leader in chips used in everything from mobile devices to supercomputers, has unveiled Armv9, the company's first major architectural change in a decade. The new designs should result in 30% faster performance over the next two chip generations. Arm is a chip architecture company that licenses its designs to others, and its customers have shipped more than 100 billion chips in the past five years. Nvidia is in the midst of acquiring Cambridge, United Kingdom-based Arm for $40 billion, but the deal is waiting on regulatory approvals. In a press briefing, Arm CEO Simon Segars said Armv9 will be the base for the next 300 billion Arm-based chips.
Abstraction is the cornerstone of modern-day scalable formal verification. Classic papers in formal literature talk about abstraction as a Galois connection, but understanding abstraction when you're new to formal is not easy. We discuss it in detail in our upcoming webinar on 11 Feb 2021 but for now, here is an intuitive and simple explanation of abstraction and refinement.