Mathematicians use computational tools to prove theorems. An AI model that is trained to use these tools might accelerate mathematical discovery.

In the development of large-scale quantum processors, material improvements yield rapid progress because they can be readily translated to many devices and platforms. This work shows that, if they are built from tantalum and silicon, superconducting qubits can have millisecond-scale lifetimes and coherence times and reduced fabrication-related contamination.

A polymer with a 2D molecular structure stacks into tightly packed layers — forming films of nanoscale thicknesses that are nearly impermeable to gases and moisture.

The abundances and fluxes of metabolite molecules were measured at cellular resolution in the mouse liver and small intestine. The levels of most metabolites showed considerable gradients in both organs. Furthermore, intake of the sugar fructose triggered depletion of ATP molecules at foci in the liver.