Category Physics

Your daily to-do list is likely pretty straightforward: wash the dishes, buy groceries, and other minutiae. It’s unlikely you wrote out “pick up the first dirty dish,” or “wash that plate with a sponge,” because each of these miniature steps within the chore feels intuitive. While we can routinely complete each step without much thought, a robot requires a complex plan that involves more detailed outlines.

MIT’s Improbable AI Lab, a group within the Computer Science and Artificial Intelligence Laboratory (CSAIL), has offered t...

Over the past decades, electronics engineers have created devices of various shapes and with increasingly sophisticated designs. This includes electronics that can be folded onto themselves, such as foldable phones, along with various other compressible devices.

Researchers at Ajou University and other institutes in South Korea recently introduced a new design for developing crumple-recoverable electronics, or in other words, electronics that can recover their original shape after being crumpled or compressed onto themselves to reduce their size...

If you have a deep-seated, nagging worry over dropping your phone in molten lava, you’re in luck.

A research team led by materials scientists at Duke University has developed a method for rapidly discovering a new class of materials with heat and electronic tolerances so rugged that they that could enable devices to function at lava-like temperatures above several thousands of degrees Fahrenheit.

Harder than st...

A team of computer scientists led by the University of Massachusetts Amherst recently announced a new method for automatically generating whole proofs that can be used to prevent software bugs and verify that the underlying code is correct.

This new method, called Baldur, leverages the artificial intelligence power of large language models (LLMs), and when combined with the state-of-the-art tool Thor, yields unprecedented efficacy of nearly 66%. The team was recently awarded a Distinguished Paper award at the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.

“We have unfortunately come to expect that our software is buggy, despite the fact that it is everywhere and we all use it every day...