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...

The mini-halos of dark matter scattered throughout the Cosmos could function as highly sensitive probes of primordial magnetic fields. This is what emerges from a theoretical study conducted by SISSA and published in Physical Review Letters. Present on immense scales, magnetic fields are found everywhere in the Universe. However, their origin are still subjects of debate among scholars...

Discovery opens window to more effective treatment. Meet MYC, the shapeless protein responsible for making the majority of human cancer cases worse. UC Riverside researchers have found a way to rein it in, offering hope for a new era of treatments.

In healthy cells, MYC helps guide the process of transcription, in which genetic information is converted from DNA into RNA and, eventually, into proteins.

“Normally, MYC’s activity is strictly controlled...

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...