Research

When security researchers want to understand what a modern processor is really doing with the kind of detail that determines whether attacks like Spectre and Meltdown are possible, they usually run their experiments on top of an operating system that was never built for the job. They open up macOS or Linux, patch the kernel by hand, and hope the modifications hold. The approach is unstable, hard to reproduce, and on Apple's platforms, slated for deprecation.

For MIT Professor Armando Solar-Lezama, one of the most common misunderstandings about AI is the notion that it can be dropped into existing human roles like a plug-and-play replacement.

The multiplication of matrices and of higher-dimensional arrays called tensors lies at the heart of modern computing. Matrix or tensor multiplication is, in fact, the most common operation carried out in artificial intelligence applications, as well as in scientific simulations and computer graphics. 

In 2026, the hype for artificial intelligence (AI) agents is louder than ever before. These semi-autonomous programs can “think” and execute well-defined tasks in areas like customer service and software development, typically using language models (LMs). But fields like medical diagnosis and scientific discovery require them to inquire about a vast range of solutions in uncertain environments, which LMs struggle with.